Anuj Dawar Lauri Hella Anil Seth Ordering Finite Variable Types with Generalized Quantifiers. 28-43 1998 LICS db/conf/lics/lics98.html#DawarHS98