%0 Journal Article %A Burgess, John P. %A Gurevich, Yuri %D 1985 %I Duke University Press %J Notre Dame Journal of Formal Logic %N 2 %P 115-128 %T The decision problem for linear temporal logic %V 26