Solving Open Questions with an Automated Theorem-Proving Program.

Larry Wos Solving Open Questions with an Automated Theorem-Proving Program. 1-31 1982 conf/cade/1982 CADE db/conf/cade/cade82.html#Wos82 http://dx.doi.org/10.1007/BFb0000049