Jürgen Dix Thomas Eiter Michael Fink Axel Polleres Yingqian Zhang Monitoring Agents using Declarative Planning. 345-370 2003 57 Fundam. Inform. 2-4 http://iospress.metapress.com/content/gn5w0kxmkc8x7fgq/ db/journals/fuin/fuin57.html#DixEFPZ03