Sh:163

Bib entry
@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},
 mrclass = {03B45 (03B25)},
 mrnumber = {797952},
 mrreviewer = {Franco Montagna},
 publisher = {Plenum, New York}
}