Wojciech Jamroga Knowledge and Strategic Ability for Model Checking: A Refined Approach. 99-110 2008 MATES http://dx.doi.org/10.1007/978-3-540-87805-6_10 conf/mates/2008 db/conf/mates/mates2008.html#Jamroga08