Li Zhang

发表

Satisfiability of Propositional Projection Temporal Logic

Zhenhua Duan, Li Zhang, 2006 .

A decision procedure for propositional projection temporal logic with infinite models

Li Zhang, Zhenhua Duan, Cong Tian, 2008, Acta Informatica.