The Schur multiplier, profinite completions and decidability - Martin R Bridson (2009)