Nikolay V. Shilov. Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. In Alex Simpson, editor, International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. Volume 12 of EPiC Series, pages 23-24, EasyChair, 2010. [doi]
Abstract is missing.