Amihood Amir Expressive Completeness Failure in Branching Time Structures. 27-42 1987 34 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss34.html#Amir87a