Expressibility results for linear time and branching time logics (1988)

by E M Clarke, I A Draghicescu
Venue:In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354