@Article{Sla67,
    Author       = "Slagle, J.R.",
    Year         = "1967",
    Title        = "{Automatic Theorem Proving with Renamable and Semantic
                    Resolution}",
    Journal      = "Journal of the ACM",
    Volume       = "14",
    Number       = "4",
    Pages        = "687-697",
    Comment      = "TPTPRef, resolution/semantics"
}