Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-96-2-010.pdf (beliebiger Volltext), 267KB
Nonnengart, A.(1996). Strong skolemization (MPI-I-1996-2-010). Saarbrücken: Max-Planck-Institut für Informatik.