@Article{FL+74,
    Author       = "Fleisig, S. and Loveland, D.W. and Smiley, A.K. and
                    Yarmush D.L.",
    Year         = "1974",
    Title        = "{An Implementation of the Model Elimination Proof Procedure}",
    Journal      = "Journal of the ACM",
    Volume       = "21",
    Number       = "1",
    Pages        = "124-139",
    Comment      = "TPTPRef, linear systems"
}