1. An until hierarchy for temporal logic;Etessami,1996
2. The computational complexity of the unconstrained domino problem (with implications for logical decision problems);Fürer,1984
3. Temporal Logic;Gabbay,1994
4. On the temporal analysis of fairness;Gabbay,1980
5. On the decision problem for two-variable first-order logic;Grädel;Bull. Assoc. Symbolic Logic,1997