  
  
  [1XReferences[0X
  
  [[20XBGHW06[15X]  [16XBrown,  R., Ghani, N., Heyworth, A. and Wensley, C. D.[15X, [17XString
  rewriting  systems  for  double  coset  systems[15X, [18XJ. Symbolic Comput.[15X, [19X41[15X
  (2006), 573--590
  
  [[20XBH00[15X]  [16XBrown,  R.  and Heyworth, A.[15X, [17XUsing rewriting systems to compute
  left  Kan  extensions  and  induced  actions  of categories[15X, [18XJ. Symbolic
  Comput.[15X, [19X29[15X (2000), 5--31
  
  [[20XHey99[15X]  [16XHeyworth,  A.[15X,  [17XApplications  of Rewriting Systems and Groebner
  Bases  to  Computing  Kan  Extensions  and  Identities  Among Relations[15X,
  University of Wales, Bangor (1999)
  
  [[20XLin91[15X]  [16XLinton,  S.[15X,  [17XDouble coset enumeration[15X, [18XJ. Symbolic Comput.[15X, [19X12[15X
  (1991), 415--426
  
  
  
  -------------------------------------------------------
