A self-applicable partial evaluator for the logic programming language goedel (extended abstract (1994)

by C A Gurr