Practical reasoning: international conference on formal and applied practical reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996, proceedings - Gabbay, Dov M. (Springer, 1998)