Vikraman Arvind Bireswar Das SZK Proofs for Black-Box Group Problems. 6-17 2006 conf/csr/2006 CSR http://dx.doi.org/10.1007/11753728_4 db/conf/csr/csr2006.html#ArvindD06