A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic

2004

M. Kacprzak, W. Penczek

Synthese 142 (2)