On the Unnecessity of Multiple Overlaps in Completion Theorem Proving.

Jrgen Mller, Rolf Socher-Ambrosius

Browse the full KI paper archive.