1. Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31–61 (2008)
2. Duan, Z., Koutny, M.: A framed temporal logic programming language. J. Comput. Sci. Technol. 19, 333–344 (2004)
3. Duan, Z.: An extended interval temporal logic and a framing technique for interval temporal logic programming. Ph.D thesis, University of Newcastle Upon Tyne, May 1996
4. Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2005)
5. Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Inf. 45(1), 43–78 (2008)