Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Bledsoe, W., Loveland, D.: Automating Theorem Proving: After 25 Years. Amer Mathematical Society, USA (1984)
2. Clarke, E., Emerson, E.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. Logic of Programs, 52–71 (1981)
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., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Inf. 45(1), 43–78 (2008)
5. Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31–61 (2008)