@inproceedings{Seidl97Constraints,
  author = {Helmut Seidl and Morten Heine S\orensen},
  title = {Constraints to {S}top {H}igher-{O}rder {D}eforestation},
  booktitle = {Principles of programming languages},
  year = 1997,
  pages = {400-413},
}