Catalin Dima, Constantin Enea, Dimitar P. Guelev. Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions.
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., 2010, Unknown, Unknown Region. pp.103--117, 2010,
〈10.4204/EPTCS.25.12〉.
〈hal-01699952〉 
