A Comparative Study of Several Proof Procedures (1982)

by W Bibel
Venue:Artificial Intelligence