John D. McCharen, Ross A. Overbeek, Larry Wos. Problems and Experiments for and with Automated Theorem-Proving Programs. IEEE Transactions on Computers, 25(8):773-782, 1976.
@article{McCharenOW76, title = {Problems and Experiments for and with Automated Theorem-Proving Programs}, author = {John D. McCharen and Ross A. Overbeek and Larry Wos}, year = {1976}, researchr = {https://researchr.org/publication/McCharenOW76}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {25}, number = {8}, pages = {773-782}, }