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