@phdthesis{de-141,
  title = {Superposition theorem proving for commutative algebraic theories},
  author = {Jürgen Stuber},
  year = {2004},
  url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/240/index.html},
  note = {http://d-nb.info/972331018},
  researchr = {https://researchr.org/publication/de-141},
  cites = {0},
  citedby = {0},
  school = {Saarland University},
}