The concept of demodulation in theorem proving (1967)

by L wos, G Robinson, D Carson, L Shalla
Venue:J. ACM