DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.FSTTCS.2025.20,21089,ToHe,Flavors of quantifiers in hyperlogics
