C. Bäckström

• Computational complexity of reasoning about plans