Dimitar P. Guelev, Catalin Dima, Constantin Enea. An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.
Journal of Applied Non-Classical Logics, Taylor & Francis, 2011, 21 (1), pp.93--131.
⟨10.3166/jancl.21.93-131⟩.
⟨hal-01699949⟩