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
• published version (18p)

@incollection{Sh:163,
 author = {Gurevich, Yuri and Shelah, Saharon},
 title = {{To the decision problem for branching time logic}},
 booktitle = {{Foundations of logic and linguistics (Salzburg, 1983)}},
 year = {1985},
 pages = {181--198},
 publisher = {Plenum, New York},
 mrnumber = {797952},
 mrclass = {03B45 (03B25)}
}