Baader, Franz Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Baader, F., & Ohlbach, H. J. (1995). A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics, 5(2), 153-198. doi:10.1080/11663081.1995.10510854.