Gasarch, Hird, 2002. Automata techniques for query inference machines 117.. https://doi.org/10.1016/s0168-0072(01)00115-4