Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Cunningham, J., Gabbay, D. M., & Ohlbach, H. J. (1991). Towards the MEDLAR Framework. In ESPRIT '91 Conference Proceedings (pp. 822-841). Brussels, Belgium: Commission of the European Communities.