Implementation considerations for higher-order features in logic programming (1993)

by Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson