A Direct Proof for the Completeness of SLD-Resolution.

Robert F. Strk

Browse the full CSL paper archive.