A Theoretical Combination of SLD-Resolution and Narrowing.

Akihiro Yamamoto

Browse the full ICLP paper archive.