Substitution and Refutation Revisited.

Hai-Ping Ko, Mark E. Nadel

Browse the full ICLP paper archive.