@article {IOPORT.03444821,
    author       = {Fleisig, S. and Loveland, D. and Smiley, A.K.III and Yarmush, D.L.},
    title        = {An implementation of the model elimination proof procedure.},
    year         = {1974},
    journal      = {Journal of the Association for Computing Machinery},
    volume       = {21},
    issn         = {0004-5411},
    pages        = {124-139},
    publisher    = {Association for Computing Machinery (ACM), New York, NY},
    doi          = {10.1145/321796.321807},
    identifier   = {03444821},
}