On the expressive power of hybrid branching-time logics
scientific article; zbMATH DE number 7191323
scientific article