Automated reasoning and its applications : essays in honor of Larry Wos /
Wos, Larry.
Veroff, Robert.
Pieper, Gail W.
Cambridge, Mass. ; London : MIT Press,
c1997.
Automatic theorem proving.