@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}
}