Generalised Quantifiers Based on Rabin-Mostowski Index.

Denis Kuperberg, Damian Niwinski, Pawel Parys, Michal Skrzypczak

Browse the full STACS paper archive.