Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Nonnengart, A. (1996). Resolution-Based Calculi for Modal and Temporal Logics. In M. A. McRobbie, & J. K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE-13) (pp. 598-612). Berlin, Germany: Springer.