@Article{MOW76,
    Author       = "McCharen, J.D. and Overbeek, R.A. and Wos, L.A.",
    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"
}