Thomas Drakengren Marcus Bjäreland Reasoning About Action in Polynomial Time. 1-24 1999 115 Artif. Intell. 1 db/journals/ai/ai115.html#DrakengrenB99 http://dx.doi.org/10.1016/S0004-3702(99)00065-X