@TechReport{MePoSo01seki,
 author =      {Andreas Meier and Martin Pollet and Volker Sorge},
 title =       {{Classifying Residue Classes --- Results of a Case Study}},
 institution = {\FBI, \UdS},
 address =     {\Saarbruecken\GERMANY},
 year =        2001,        
 month =       {\DECEMBER},
 type =        {Seki Report},
 number =      {SR-01-01},
 note =	       {Electronic Version at \url{http://www.ags.uni-sb.de/~sorge/publications/2001/SR-01-01.ps.gz}},
 abstract =    {This is a compilation of all the theorems that were automatically proof
                planned during a case study concerned with exploration of the residue 
                class domain.},
}