Sergey Babenyshev, Vladimir V. Rybakov. Reasoning and Inference Rules in Basic Linear Temporal Logic ::::BLTL::::/mathcal{BLTL}. In Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II. Volume 6277 of Lecture Notes in Computer Science, pages 224-233, Springer, 2010. [doi]
Abstract is missing.