@misc{indiciae4d525e63deb3, title = {The Complexity of Fragments of Second-Order HyperLTL}, author = {Gaƫtan Regaud and Martin Zimmermann}, year = {2025}, url = {https://arxiv.org/abs/2501.19046}, note = {Source identifier: 2501.19046} }