No CrossRef data available.
Published online by Cambridge University Press: 20 January 2009
The idea of a pregroup was introduced by Stallings and provides an axiomatic setting for a well-known argument, due to van der Waerden, used to prove normal form theorems. Details are provided in [7], Section 3.