A linear time algorithm for monadic querying of indefinite data over linearly ordered domains

From MaRDI portal