References
W. Penczek
with Kacprzak M. (2004). A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic. Synthese, 142 (2), 203-227. https://doi.org/10.1007/s11229-004-2446-8.
with Kacprzak M. (2004). A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic. Synthese, 142 (2), 203-227. https://doi.org/10.1007/s11229-004-2446-8.