A Nonclausal Connection-Graph TheoremProving Program (1982)

by Mark E Stickel
Venue:Proceedings, AAAI-82 National Conference onArti cial Intelligence