@InProceedings{l22-409-425,
  AUTHOR    = {Thomas Place and Marc Zeitoun},
  EDITOR    = {Armando Casta\~{n}eda and Francisco Rodr\'{\i}guez-Henr\'{\i}quez},
  TITLE     = {How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic?},
  BOOKTITLE = {{LATIN} 2022: Theoretical Informatics - 15th Latin American Symposium, Guanajuato, Mexico, November 7--11, 2022, Proceedings},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {13568},
  PAGES     = {409--425},
  PUBLISHER = {Springer},
  YEAR      = {2022},
  URL       = {https://doi.org/10.1007/978-3-031-20624-5\_25},
  DOI       = {10.1007/978-3-031-20624-5\_25},
  TIMESTAMP = {Sun, 13 Nov 2022 00:00:00 +0100},
  BIBURL    = {https://dblp.org/rec/conf/latin/PlaceZ22.bib},
  BIBSOURCE = {dblp computer science bibliography, https://dblp.org}
}