 For further reading and discussion on temporal reasoning and logics in AI, see Vila (1994); Galton (1995); the comprehensive handbook Fisher et al. (2005); and the more concise handbook chapter Fisher (2008).