L.: Paramodulation and theorem-proving in firstorder theories with equality (1969)

by G Robinson, Wos
Venue:In: Proceedings of the 4th Annual Machine Intelligence Workshop