Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. The Complexity of Clausal Fragments of LTL. In Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Volume 8312 of Lecture Notes in Computer Science, pages 35-52, Springer, 2013. [doi]
Abstract is missing.