\begin{thebibliography}{BRS99}

\bibitem[BH82]{BrHu}
Ronald Brown and Johannes Huebschumann.
\newblock Identities among relations.
\newblock In R.~Brown and T.L. Thickstun, editors, {\em Low-Dimensional
  Topology}, volume~46 of {\em London Math. Soc. Lecture Note Series}, pages
  153--202. Cambridge University Press, 1982.

\bibitem[BRS99]{BrSa}
R.~Brown and A.~Razak~Salleh.
\newblock On the computation of identities among relations and of free crossed
  resolutions of groups.
\newblock {\em London Math. Soc. J. Comput. Math.}, 2:28--61, 1999.

\bibitem[Hey99]{anne-thesis}
Anne Heyworth.
\newblock {\em Applications of Rewriting Systems and {G}roebner Bases to Com
  puting {K}an Extensions and Identities Among Relations}.
\newblock Ph.{D}.~thesis, University of Wales, Bangor, 1999.

\bibitem[HW03]{HeWe1}
Anne Heyworth and Christopher~D. Wensley.
\newblock Logged rewriting and identities among relators.
\newblock In C.~M. Campbell, E.~F. Robertson, and G.~C. Smith, editors, {\em
  Groups St Andrews 2001 in Oxford}, volume 304 of {\em London Math. Soc.
  Lecture Note Series}, pages 256--276. Cambridge University Press, 2003.

\end{thebibliography}