Tzakova, Miroslava Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-007.pdf (beliebiger Volltext), 331KB
Blackburn, P., & Tzakova, M.(1997). Two hybrid logics (MPI-I-1997-2-007). Saarbrücken: Max-Planck-Institut für Informatik.