@inproceedings{DBLP:conf/lop/LichtensteinPZ85,
  author    = {Orna Lichtenstein and
               Amir Pnueli and
               Lenore D. Zuck},
  editor    = {Rohit Parikh},
  title     = {The Glory of the Past},
  booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
               June 17-19, 1985, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {193},
  pages     = {196--218},
  publisher = {Springer},
  year      = {1985},
  _url       = {https://doi.org/10.1007/3-540-15648-8\_16},
  doi       = {10.1007/3-540-15648-8_16},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lop/LichtensteinPZ85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{XXXX:phd/Zuck86,
  author    = {Lenore D. Zuck},
  title     = {{Past Temporal Logic}},
  school    = {The Weizmann Institute of Science, Israel},
  year      = {1986},
  month     = aug
}

@inproceedings{DBLP:conf/icalp/ChangMP92,
  author    = {Edward Y. Chang and
               Zohar Manna and
               Amir Pnueli},
  editor    = {Werner Kuich},
  title     = {Characterization of Temporal Property Classes},
  booktitle = {Automata, Languages and Programming, 19th International Colloquium,
               ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {623},
  pages     = {474--486},
  publisher = {Springer},
  year      = {1992},
  _url       = {https://doi.org/10.1007/3-540-55719-9\_97},
  doi       = {10.1007/3-540-55719-9_97},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/ChangMP92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/CernaP03,
  author    = {Ivana {\v{C}}ern{\'{a}} and
               Radek Pel{\'{a}}nek},
  editor    = {Branislav Rovan and
               Peter Vojt{\'{a}}s},
  title     = {Relating Hierarchy of Temporal Properties to Model Checking},
  booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
               Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2747},
  pages     = {318--327},
  publisher = {Springer},
  year      = {2003},
  _url       = {https://doi.org/10.1007/978-3-540-45138-9\_26},
  doi       = {10.1007/978-3-540-45138-9_26},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/CernaP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{XXXX:conf/lics/SickertE20,
  author    = {Salomon Sickert and Javier Esparza},
  title     = {An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata},
  booktitle = {Proceedings of the 35th Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2020, Saarbr\"ucken, Germany, July 8-11, 2020},
  publisher = {{ACM}},
  year      = {2020},
  _url       = {https://doi.org/10.1145/3373718.3394743},
  doi       = {10.1145/3373718.3394743}
}

@article{DBLP:journals/corr/abs-2005-00472,
  author    = {Salomon Sickert and
               Javier Esparza},
  title     = {An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata},
  journal   = {CoRR},
  volume    = {abs/2005.00472},
  year      = {2020},
  _url       = {http://arxiv.org/abs/2005.00472},
  archivePrefix = {arXiv},
  eprint    = {2005.00472}
}
