CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
scientific article; zbMATH DE number 567727
scientific article