Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-225.pdf (beliebiger Volltext), 151KB
Ohlbach, H. J.(1993). Translation methods for non-classical logics: an overview (MPI-I-93-225). Saarbrücken: Max-Planck-Institut für Informatik.