1. School of Mathematics, Statistics and Actuarial Science, University of Essex, Colchester CO4 3SQ, United Kingdom;
2. Archimedes/Athena Research Center, 15125 Marousi, Greece;
3. Department of Computer Science, University of Liverpool, Liverpool L69 3BX, United Kingdom;
4. Department of Computer, Control, and Management Engineering, Sapienza University of Rome, 00185 Roma, Italy;
5. Input Output Global, London W1W 6DW, United Kingdom;
6. Institute for Logic, Language and Computation, University of Amsterdam, 1012 WP Amsterdam, Netherlands