Donald A. Smith Timothy J. Hickey Partial Evaluation of a CLP Language. 119-138 1990 NACLP db/conf/slp/slp90.html#SmithH90