An Improved Decision Procedure for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian

Browse the full ICFEM paper archive.