"A Direct Proof for the Completeness of SLD-Resolution."

Robert F. Stärk (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics