Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. - Noel Brett; Umair Siddique; Borzoo Bonakdarpour (TACAS (2), 2017)