SZK proofs for black-box group problems
scientific article; zbMATH DE number 5288689