Wos, L.



Paramodulation and theorem-proving in first order theories with equality

Classics

In D.Michie (Ed.), Machine Intelligence 4. Edinburgh: Edinburgh University Press.