Paramodulation and set of support (1968)

by L Wos, G A Robinson
Venue:Case Western Reserve University, Jennings Computing Center