Solving Open Questions with an Automated Theorem-Proving Program.

Larry Wos

Browse the full CADE paper archive.