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