Attacking group protocols by refuting incorrect inductive conjectures
scientific article; zbMATH DE number 5119733