Is it decidable whether a finite group presentation is diagrammatically aspherical (that is there is no reduced spherical diagram over this presentation)? Probably – not, but I cannot find a reference.Read more