The Expressive Power of Temporal Logic of Actions
scientific article; zbMATH DE number 1836051