Dennis Dams Flat Fragments of CTL and CTL<sup>*</sup>: Separating the Expressive and Distinguishing Powers. 55-78 1999 7 Logic Journal of the IGPL 1 http://www3.oup.co.uk/igpl/Volume_07/Issue_01/#dams db/journals/igpl/igpl7.html#Dams99