@Article{MOW76, Author = "McCharen, J. and Overbeek, R. and Wos, L.", Year = "1976", Title = "{Problems and Experiments for and with Automated Theorem-Proving Programs}", Journal = "IEEE Transactions on Computers", Volume = "C-25", Number = "8", Pages = "773-782", Comment = "TPTPRef" }