"Sound and Complete Partial Deduction with Unfolding Based on Well-Founded ..."

Bern Martens, Danny De Schreye, Tamás Horváth (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics