An overview of lambda-prolog (1988)

by Gopalan Nadathur, Dale Miller
Venue:In ICLP/SLP