@TECHREPORT{nonnengartszalasMPI952007,
        AUTHOR             = {Andreas Nonnengart and Andrzej Sza{\l}as},
        ADDRESS            = {Saarbr{\"u}cken, Germany},
        INSTITUTION        = {Max-Planck-Institute for Computer Science},
        TITLE              = {A Fixpoint Approach to Second-Order Quantifier Elimination with
                              Applications to Correspondence Theory},
        MONTH              = {March},
        NUMBER             = {MPI-I-95-2-007},
        YEAR               = {1995}
}