Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-212.pdf (beliebiger Volltext), 153KB
Ohlbach, H. J., & Bader, F.(1993). A multi-dimensional terminological knowledge representation language - preliminary version (MPI-I-93-212). Saarbrücken: Max-Planck-Institut für Informatik.