  
  
  [1XReferences[101X
  
  [[20XLGS98[120X]  [16XLeedham-Green,  C.  and Soicher, L.[116X, [17XSymbolic Collection Using Deep
  Thought[117X, [18XLMS J. Comp. Math. 1[118X (1998), 9--24.
  
  
  
  [32X
