THE COMPLEXITY OF SECOND-ORDER HYPERLTL. - FRENKEL, HADAR; REGAUD, GAËTAN; ZIMMERMANN, MARTIN (Logical Methods in Computer Science (LMCS), 2026)