@misc{indiciaea1cadc9742d7,
  title = {MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \$\textbackslash{}exists\textasciicircum{}*\textbackslash{}forall\textasciicircum{}*\$ Fragment},
  author = {Bernd Finkbeiner and Christopher Hahn and Tobias Hans},
  year = {2019},
  url = {https://arxiv.org/abs/1903.11138},
  note = {Source identifier: 1903.11138}
}