Problems and Experiments for and with Automated Theorem-Proving Programs
McCharen, Overbeek, Wos · IEEE Transactions on Computers · 1976
The two objectives of this paper are 1) to give a large and varied problem set, complete clause sets for use in testing automated theorem-proving programs and 2) the presentation of a number of experiments with an existing program under a variety of conditions.