Alternating-time temporal logics with linear past
scientific article; zbMATH DE number 7191315
scientific article