Ordering finite variable types with generalized quantifiers | IEEE Conference Publication | IEEE Xplore