@misc{indiciae029b4533e2da,
  title = {The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas},
  author = {Corto Mascle and Martin Zimmermann},
  year = {2019},
  url = {https://arxiv.org/abs/1907.05070},
  note = {Source identifier: 1907.05070}
}