@Article{Lov69-JACM,
    Author       = "Loveland, D.W.",
    Year         = "1969",
    Title        = "{A Simplified Format for the Model Elimination
                    Theorem-Proving Procedure}",
    Journal      = "Journal of the ACM",
    Volume       = "16",
    Number       = "3",
    Pages        = "349-363",
    Comment      = "linear systems"
}

@Article{Lov69-MI,
    Author       = "Loveland, D.W.",
    Year         = "1969",
    Title        = "{Theorem-provers Combining Model Elimination and
                    Resolution}",
    Journal      = "Machine Intelligence",
    Volume       = "4",
    Pages        = "73-86",
    Comment      = "TPTPRef, linear systems"
}