  
  
  [1m[4m[31mReferences[0m
  
  [33m[BG+06]  [0m[1m[31mBrown,  R.  and Ghani, N. and Heyworth, A. and Wensley, C. D. [0m,
  [34mString  rewriting systems for double coset systems[0m, J. Symbolic Comput.,
  [34m41[0m (2006), 573--590
  
  [33m[BH00]  [0m[1m[31mBrown,  R. and Heyworth, A. [0m, [34mUsing rewriting systems to compute
  left  Kan  extensions  and  induced  actions  of categories[0m, J. Symbolic
  Comput., [34m29[0m (2000), 5--31
  
  [33m[H99]  [0m[1m[31mHeyworth,  A.  [0m,  [34mApplications  of Rewriting Systems and Groebner
  Bases  to  Computing  Kan  Extensions  and  Identities  Among Relations[0m,
  University of Wales, Bangor (1999)
  
  [33m[L91]  [0m[1m[31mLinton,  S.  [0m,  [34mDouble coset enumeration[0m, J. Symbolic Comput., [34m12[0m
  (1991), 415--426
  
  
  
  -------------------------------------------------------
