"Logimix: A Self-Applicable Partial Evaluator for Prolog."

Torben Æ. Mogensen, Anders Bondorf (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics