Christian Prehofer
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
ICLP, 1995.
@inproceedings{ILPS-1995-Prehofer, author = "Christian Prehofer", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-62099-5", pages = "147--161", publisher = "{MIT Press}", title = "{A Call-by-Need Strategy for Higher-Order Functional-Logic Programming}", year = 1995, }