Dov M. Gabbay Hans Jürgen Ohlbach Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings FAPR Lecture Notes in Computer Science 1085 Springer 1996 3-540-61313-7 db/conf/fapr/fapr96.html