@misc{indiciae985e3c86b723,
  title = {A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness},
  author = {Tomáš Babiak and Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
  year = {2010},
  url = {https://arxiv.org/abs/1011.4214},
  note = {Source identifier: 1011.4214}
}