A Call-by-Need Strategy for Higher-Order Functional-Logic Programming.

Christian Prehofer A Call-by-Need Strategy for Higher-Order Functional-Logic Programming. 147-161 1995 ILPS db/conf/slp/slp95.html#Prehofer95