Zhenhua Duan Cong Tian Decidability of Propositional Projection Temporal Logic with Infinite Models. 521-532 2007 conf/tamc/2007 TAMC http://dx.doi.org/10.1007/978-3-540-72504-6_46 db/conf/tamc/tamc2007.html#DuanT07