Automatic theorem proving with renamable and semantic resolution (1967)

by J R Slagle
Venue:J. ACM