[1]
D. Calvanese, G. Delzanno, and M. Montali, “Verification of Relational Multiagent Systems with Data Types”, AAAI, vol. 29, no. 1, Feb. 2015.