@misc{nonnengartszalasHR99,
	author = {Andreas Nonnengart and Andrzej Szalas},
	title = {A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory},
        year = {1999},
	howpublished  = {in: \cite{orlowska99}}
}
@book{orlowska99,
        editor = {Ewa Or{\l}owska},
        title = {Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa},
        publisher = {Physica-Verlag, c/o Springer Verlag},
        year = 1999,
        series = {Studies in Fuzziness and Soft Computing},
        volume = 24,
        note = {ISBN: 3-7908-1164-5}
}