@Article{Lov68,
    Author       = "Loveland, D.W.",
    Year         = "1968",
    Title        = "{Mechanical Theorem Proving by Model Elimination}",
    Journal      = "Journal of the ACM",
    Volume       = "15",
    Number       = "2",
    Pages        = "236-251",
    Comment      = "TPTPRef, linear systems"
}