A Proof Procedure Using Connection Graphs (1975)

by R KOWALSKI
Venue:J. A. C. M