# Sh:163

• Gurevich, Y., & Shelah, S. (1985). To the decision problem for branching time logic. In Foundations of logic and linguistics (Salzburg, 1983), Plenum, New York, pp. 181–198. MR: 797952
@incollection{Sh:163,
}