Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen. Axiomatizing Extended Temporal Logic Fragments Via Instantiation. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 322-336, Springer, 2007. [doi]
Abstract is missing.