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