Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, H. J. (1988). A Resolution Calculus for Modal Logics. PhD Thesis, Universität Kaiserslautern, Kaiserslautern.