with Alechina, N. , Logan, B. , Nguyen, H.N. , 2009, 'Verifying time, memory and communication bounds in systems of reasoning agents', Synthese 169 (2), 385-403.