c-ijcai-97-1447Thomas Drakengren and Marcus Bjäreland.
Reasoning about Action in Polynomial Time.
Proc. International Joint Conference on Artificial Intelligence, 1997, pp. 1447-1453.