Mizuhito Ogawa A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. 236-259 2003 186 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00142-1 db/journals/iandc/iandc186.html#Ogawa03