A finiteness property and an automatic structure for Coxeter groups. Brigitte Brink; Robert B. Howlett — 1993 Mathematische Annalen