Reasoning about Action in Polynomial Time.

Thomas Drakengren Marcus Bjäreland Reasoning about Action in Polynomial Time. 1447-1453 1997 IJCAI db/conf/ijcai/ijcai97.html#DrakengrenB97