Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib Verifying time, memory and communication bounds in systems of reasoning agents. 736-743 2008 AAMAS (2) http://doi.acm.org/10.1145/1402298.1402326 conf/atal/2008-2 db/conf/atal/aamas2008-2.html#AlechinaLNR08