  
  
  [1m[4m[31mReferences[0m
  
  [33m[BH82]  [0m[1m[31mBrown,  R.  and  Huebschumann,  J. [0m (Brown, R. and Thickstun, T.
  ,Ed.)   ,  [34mIdentities  Among  Relations[0m,  in  [34mLow-Dimensional  Topology[0m,
  Cambridge  University  Press,  London Math. Soc. Lecture Note Series, [34m46[0m
  (1982), 153-202
  
  [33m[BR99] [0m[1m[31mBrown, R. and Razak Salleh, A. [0m, [34mOn the computation of identities
  among  relations and of free crossed resolutions of groups[0m, London Math.
  Soc. J. Comput. Math., [34m2[0m (1999), 28-61
  
  [33m[H99]  [0m[1m[31mHeyworth,  A.  [0m,  [34mApplications  of Rewriting Systems and Groebner
  Bases  to  Com  puting  Kan  Extensions  and Identities Among Relations[0m,
  University of Wales, Bangor (1999)
  
  [33m[HW03]   [0m[1m[31mHeyworth,   A.   and  Wensley,  C.  D.  [0m  (C.~M.~Campbell,  and
  E.~F.~Robertson,   and   G.~C.~Smith,   ,Ed.)  ,  [34mLogged  rewriting  and
  identities  among  relators[0m,  in  [34mGroups  St  Andrews  2001  in  Oxford[0m,
  Cambridge  University  Press, London Math. Soc. Lecture Note Series, [34m304[0m
  (2003), 256-276
  
  
  
  -------------------------------------------------------
