TY  - RPRT
TI  - A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness
AU  - Tomáš Babiak
AU  - Mojmír Křetínský
AU  - Vojtěch Řehák
AU  - Jan Strejček
PY  - 2010
UR  - https://arxiv.org/abs/1011.4214
ID  - 1011.4214
ER  -