"Semantics-based Partial Evaluation of Prolog Programs."

Brian J. Ross (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics