An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
scientific article; zbMATH DE number 6058062
scientific article