About the expressive power of CTL combinators
scientific article; zbMATH DE number 985295