Birgit Jenner Jacobo Torán Computing Functions with Parallel Queries to NP. 175-193 1995 141 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs141.html#JennerT95 http://dx.doi.org/10.1016/0304-3975(94)00080-3