Features and fluents : the representation of knowledge about dynamical systems.
Sandewall, Erik.
Oxford : Clarendon Press,
1994.