TY  - RPRT
TI  - The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
AU  - Corto Mascle
AU  - Martin Zimmermann
PY  - 2019
UR  - https://arxiv.org/abs/1907.05070
ID  - 1907.05070
ER  -