Paramodulation and set of support (1968)

by L Wos, G Robinson
Venue:In Proc. IRIA Symposium on Automatic Demonstration