Joeri Engelfriet Catholijn M. Jonker Jan Treur Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. 195-225 2002 11 Journal of Logic, Language and Information 2 db/journals/jolli/jolli11.html#EngelfrietJT02