Galton, Antony: Time and Change for AI. Code: [Galton95A].
Sandewall, Erik, and Yoav Shoham: Non-monotonic temporal reasoning. Code: [Sandewall95A].