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