@Article{OMW76,
    Author       = "Overbeek, R. and McCharen, J. and Wos, L.",
    Year         = "1976",
    Title        = "{Complexity and Related Enhancements for Automated
                    Theorem-Proving Programs}",
    Journal      = "Computers and Mathematics with Applications",
    Volume       = "2",
    Pages        = "1-16",
    Comment      = "TPTPRef, general reasoning"
}