Ordering Finite Variable Types with Generalized Quantifiers.

Anuj Dawar, Lauri Hella, Anil Seth

Browse the full LICS paper archive.