Model Checking Multi-Agent Systems (1998)

by M Benerecetti, F Giunchiglia, L Serafini
Venue:Journal of Logic and Computation