Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. One-Pass Context-Based Tableaux Systems for CTL and ECTL. In Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald, editors, 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. Volume 178 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.