Features and Fluents: The Representation of Knowledge about Dynamical Systems Volume 1 (Oxford Logic Guides, Band 30)