Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Gabbay, D. M., Kruse, R., Nonnengart, A., & Ohlbach, H. J. (Eds.). (1997). Qualitative and Quantitative Practical Reasoning. Berlin, Germany: Springer.