Vikraman Arvind Bireswar Das SZK Proofs for Black-Box Group Problems. 100-117 2008 43 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-007-9028-3 db/journals/mst/mst43.html#ArvindD08