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

Lubos Popelínsky Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). 94-96 1991 LOPSTR db/conf/lopstr/lopstr91.html#Popelinsky91