@INBOOK{NonnengartSzalas1999,
AUTHOR = {Nonnengart, Andreas and Szalas, Andrzej},
EDITOR = {Orlowska, Ewa},
TITLE = {A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory},
BOOKTITLE = {Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {24},
PAGES = {18},
SERIES = {Studies in Fuzziness and Soft Computing},
ADDRESS = {Berlin, Germany},
MONTH = {January},
ISBN = {3-7908-1164-5},
}

Entry last modified by Uwe Brahm, 03/12/2010