@inproceedings{DBLP:conf/time/AbuinBHL20,
  author    = {Alex Abuin and
               Alexander Bolotov and
               Montserrat Hermo and
               Paqui Lucio},
  editor    = {Emilio Mu{\~{n}}oz{-}Velasco and
               Ana Ozaki and
               Martin Theobald},
  title     = {One-Pass Context-Based Tableaux Systems for {CTL} and {ECTL}},
  booktitle = {27th International Symposium on Temporal Representation and Reasoning,
               {TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy},
  series    = {LIPIcs},
  volume    = {178},
  pages     = {14:1--14:20},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.TIME.2020.14},
  doi       = {10.4230/LIPIcs.TIME.2020.14},
  timestamp = {Sat, 19 Sep 2020 13:19:41 +0200},
  biburl    = {https://dblp.org/rec/conf/time/AbuinBHL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}