Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Nonnengart, A., Ohlbach, H. J., & Gabbay, D. M. (2001). Encoding two-valued non-classical logics in classic logic. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Amsterdam, the Netherlands: Elsevier.