@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},
}