"Logic Program Specialisation With Deletion of Useless Clauses."

D. Andre de Waal, John P. Gallagher (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics