[8] Murray Shanahan, A Circumscriptive Calculus of Events, Artificial Intelligence, vol. 77, pages 249-284, Elsevier Science Publishers, 1995.