@Article{GO+69, Author = "Guard, J.R. and Oglesby, F.C. and Bennett, J.H. and Settle L.G.", Year = "1969", Title = "{Semi-Automated Mathematics}", Journal = "Journal of the ACM", Volume = "16", Number = "1", Pages = "49-62", Comment = "TPTPRef" }