Logimix: a self-applicable partial evaluator for prolog (1993)

by T Mogensen, A Bondorf
Venue:Logic Program Synthesis and Transformation