Finkbeiner, et al.. Algorithms for Model Checking Hyperltl and Hyperctl $$^*$$. Springer International Publishing, 2015, doi:10.1007/978-3-319-21690-4_3.