Rewrite rules for \(\mathrm{CTL}^\ast\)
scientific article; zbMATH DE number 6698102
scientific article