"The Metalanguage lambda-Prolog and Its Implementation."

Gopalan Nadathur (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics