Douglas E. Appelt, Kurt Konolige: A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision. NMR 1988: 164-175