@Article{DolzmannSturm:97a,
  author = 	 {Dolzmann, Andreas and Sturm, Thomas},
  title = 	 {Redlog: Computer Algebra Meets Computer Logic},
  journal = 	 {ACM SIGSAM Bulletin},
  year = 	 1997,
  volume =	 31,
  number =	 2,
  month =	 Jun,
  pages =	 {2-9}
}

@TechReport{DolzmannSturm:96a,
  author = 	 {Dolzmann, Andreas and Sturm, Thomas},
  title = 	 {Redlog User Manual},
  institution =  {FMI, Universit\"at Passau},
  year = 	 1996,
  type =	 {Technical Report},
  number =	 {MIP-9616},
  address =	 {D-94030 Passau, Germany},
  month =	 oct,
  note =	 {Edition 1.0 for Version 1.0}
}

@Manual{DolzmannSturm:99,
  title = 	 {Redlog User Manual},
  author =	 {Dolzmann, Andreas and Sturm, Thomas},
  organization = {FMI, Universit\"at Passau},
  address =	 {D-94030 Passau, Germany},
  note =	 {Edition 2.0 for Version 2.0},
  year =	 1999,
  month =	 apr
}

@Article{Weispfenning:92,
  author =       {Weispfenning, Volker},
  title =        {Comprehensive {G}r\"obner Bases},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  month =        jul,
  volume =       14,
  pages =        {1-29}
}

@Article{DolzmannSturm:97c,
  author = 	 {Dolzmann, Andreas and Sturm, Thomas},
  title = 	 {Simplification of Quantifier-free Formulae over
		  Ordered Fields},
  journal = 	 {Journal of Symbolic Computation},
  year = 	 1997,
  volume =	 24,
  number =	 2,
  month =	 aug,
  pages =	 {209-231}
}
