Zhenhua Duan, Cong Tian, Nan Zhang. Normal Form Expressions of Propositional Projection Temporal Logic. In Zhipeng Cai, Alex Zelikovsky, Anu G. Bourgeois, editors, Computing and Combinatorics - 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings. Volume 8591 of Lecture Notes in Computer Science, pages 84-93, Springer, 2014. [doi]
Abstract is missing.