



@article{ LGS,
  author =           {Leedham-Green, C. and Soicher, L.},
  title =            {Symbolic Collection Using Deep Thought},
  journal =          {LMS J. Comp. Math. 1},
  year =             {1998},
  pages =            {9--24},
  printedkey =       {LS98}
}
