Sh:230

Bib entry
@article{Sh:230,
 author = {Gurevich, Yuri and Shelah, Saharon},
 title = {{The decision problem for branching time logic}},
 journal = {J. Symbolic Logic},
 fjournal = {The Journal of Symbolic Logic},
 volume = {50},
 number = {3},
 year = {1985},
 pages = {668--681},
 issn = {0022-4812},
 doi = {10.2307/2274321},
 mrclass = {03B45 (03B25 05C05)},
 mrnumber = {805676},
 mrreviewer = {Kazumi Inoue},
 doi = {10.2307/2274321}
}