Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
95-2-007.pdf (beliebiger Volltext), 156KB
Nonnengart, A., & Szalas, A.(1995). A fixpoint approach to second-order quantifier elimination with applications to correspondence theory (MPI-I-1995-2-007). Saarbrücken: Max-Planck-Institut für Informatik.