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