Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, H. J. (1993). Translation Methods for Non-Classical Logics: An Overview. Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL), 1(1), 69-90.