Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin. Natural Deduction Calculus for Linear-Time Temporal Logic. In Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, editors, Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Volume 4160 of Lecture Notes in Computer Science, pages 56-68, Springer, 2006. [doi]
Abstract is missing.