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

by G Robinson, L Wos
Venue:Machine Intelligence