Norihiro Kamide. Completeness for Generalized First-Order LTL. In Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz, editors, KI 2010: Advances in Artificial Intelligence, 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings. Volume 6359 of Lecture Notes in Computer Science, pages 246-254, Springer, 2010. [doi]
Abstract is missing.