with Logan, B. , 2010, 'Belief ascription under bounded resources', Synthese 173 (2), 179-197.
with Logan, B. , Nguyen, H.N. , Rakib, A. , 2009, 'Verifying time, memory and communication bounds in systems of reasoning agents', Synthese 169 (2), 385-403.
with Jago, M. , Logan, B. , 2008a, 'Preference-based belief revision for rule-based agents', Synthese 165 (2), 159-177.