"A Theoretical Combination of SLD-Resolution and Narrowing."

Akihiro Yamamoto (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics