"Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract)."

Lubos Popelínský (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics