Richard Chang Bounded Queries, Approximations, and the Boolean Hierarchy. 129-159 2001 169 Inf. Comput. 2 db/journals/iandc/iandc169.html#Chang01