TPTP Reference: RR+72


@TechReport{RR+72,
    Author       = "Reboh, R. and Raphael, B. and Yates, R.A. and Kling, R.E.
                    and Velarde, C.",
    Year         = "1972",
    Title        = "{Study of automatic theorem proving programs}",
    Number       = "Technical Note 72",
    Institution  = "Artificial Intelligence Center, SRI International",
    Address      = "Menlo Park, CA",
    Comment      = "TPTPRef"
}