Zhenhua Duan, Xinfeng Shu. A Proof System for Projection Temporal Logic. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 273-283, Springer, 2009. [doi]
Abstract is missing.