Problems and Experiments for and with Automated Theorem-Proving Programs | IEEE Journals & Magazine | IEEE Xplore