Normal Form Expressions of Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Nan Zhang

Browse the full COCOON paper archive.