"Towards a WAM Model for Lambda-Prolog."

Gopalan Nadathur, Bharat Jayaraman (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics