@ARTICLE{SchmittPos95,
        AUTHOR             = {Joachim Posegga and Peter H.~Schmitt},
        JOURNAL            = {J.Logic and Computation},
        TITLE              = {Automated Deduction with {S}hannon Graphs},
        VOLUME             = {5},
        NUMBER             = {6},
        PAGES              = {697 - 729},
        YEAR               = {1995}
}