Paramodulation and TP in first order theories with equality (1969)

by RW69 G A Robinson, L Wos
Venue:Machine Intelligence