Tin, Erkan and Akman, Varol (1997) Situated Nonmonotonic Temporal Reasoning with BABY-SIT. [Journal (Paginated)]