Erik Sandewall
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.
Electronic Transactions on Artificial Intelligence, Vol. 2 (1998), pp 307-329.