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. (1992). Modal- und Temporallogik. In K. H. Bläsius, & H.-J. Bürckert (Eds.), Deduktionssysteme - Automatisierung des logischen Denkens (pp. 239-284). München, Germany: Oldenbourg.