Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He. Bounded Model Checking for Propositional Projection Temporal Logic. In Ding-Zhu Du, Guochuan Zhang, editors, Computing and Combinatorics, 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Volume 7936 of Lecture Notes in Computer Science, pages 591-602, Springer, 2013. [doi]
Abstract is missing.