Nested queries and quantifiers in an ordered context | IEEE Conference Publication | IEEE Xplore