J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang: "Monitoring Agents using Declarative Planning"; Fundamenta Informaticae, 57 (2003), 2-4; 345 - 370.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404605