Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
1998-2-003 (beliebiger Volltext), 10KB
Schmidt, R. A.(1998). E-unification for subsystems of S4 (MPI-I-1998-2-003). Saarbrücken: Max-Planck-Institut für Informatik.