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