Yonit Kesten Zohar Manna Hugh McGuire Amir Pnueli A Decision Algorithm for Full Propositional Temporal Logic. 97-109 1993 conf/cav/1993 CAV db/conf/cav/cav93.html#KestenMMP93 http://dx.doi.org/10.1007/3-540-56922-7_9