J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
in: "Proceedings of the 26th Annual German Conference on Artificial Intelligence (KI 2003)", Springer, 2003, ISBN: 3-540-20059-2, 646 - 660.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404606