@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"
}