Herzig, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
1996-2-007 (beliebiger Volltext), 10KB
Herzig, A.(1996). SCAN and systems of conditional logic (MPI-I-1996-2-007). Saarbrücken: Max-Planck-Institut für Informatik.