Logimix: A Self-Applicable Partial Evaluator for Prolog

Torben Æ. Mogensen, Anders Bondorf. Logimix: A Self-Applicable Partial Evaluator for Prolog. In LOPSTR. pages 214-227, 1992.

Bibliographies