Automatic Theorem Proving with Renamable and Semantic Resolution (1967)

by J R Slagle
Venue:In Journal of the ACM 14(4), ACM