@Article{Rob63,
    Author       = "Robinson, J.A.",
    Year         = "1963",
    Title        = "{Theorem Proving on the Computer}",
    Journal      = "Jounal of the ACM",
    Volume       = "10",
    Number       = "2",
    Pages        = "163-174",
    Comment      = "TPTPRef/general reasoning"
}