References
W. Penczek
with Kacprzak, M. (2004). A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic. Synthese 142 (2), pp. 203-227.
with Kacprzak, M. (2004). A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic. Synthese 142 (2), pp. 203-227.