BibTeX record conf/rta/Stuber00

download as .bib file

@inproceedings{DBLP:conf/rta/Stuber00,
  author    = {J{\"{u}}rgen Stuber},
  title     = {Deriving Theory Superposition Calculi from Convergent Term Rewriting
               Systems},
  booktitle = {{RTA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1833},
  pages     = {229--245},
  publisher = {Springer},
  year      = {2000}
}
maintained by Schloss Dagstuhl LZI at University of Trier