Model checking multiagent systems (1998)

by Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
Venue:Journal of Logic and Computation