Nico Roos Cees Witteveen Models and methods for plan diagnosis. 30-52 2009 19 Autonomous Agents and Multi-Agent Systems 1 http://dx.doi.org/10.1007/s10458-007-9017-6 db/journals/aamas/aamas19.html#RoosW09