Features and fluents : the representation of knowledge about dynamical systems - Sandewall, Erik (Oxford logic guides, 1994)