Calvanese, D.; Delzanno, G.; Montali, M. Verification of Relational Multiagent Systems With Data Types. AAAI 2015, 29.