@inproceedings{Seidl96Integer, author = {Helmut Seidl}, title = {Integer {C}onstraints to {S}top {D}eforestation}, booktitle = {Programming Languages and Systems}, editor = {Hanne Riis Nielson}, month = {April}, year = 1996, pages = {326-340}, series = {Lecture Notes in Computer Science}, volume = {1058}, publisher = {Springer}, address = {Link\"oping, Sweden}, }