Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim Guldstrand Larsen. On the Relationship between LTL Normal Forms and Büchi Automata. In Zhiming Liu, Jim Woodcock, Huibiao Zhu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Volume 8051 of Lecture Notes in Computer Science, pages 256-270, Springer, 2013. [doi]
Abstract is missing.