@Book{Rei01, Author = "Reiter, R.", Year = "2001", Title = "{Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems}", Publisher = "MIT Press", Comment = "TPTPRef" }