Model Checking Multiagent Systems. (1998)

by M Benerecetti, F Giunchiglia, L Serafini
Venue:Journal of Logic and Computation, Special Issue on Computational Logical Aspects of Multi-Agent Systems