Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Nonnengart, A., & Szalas, A. (1999). A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In E. Orlowska (Ed.), Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa. Berlin, Germany: Springer.