BibTeX record phd/dnb/Richts00

download as .bib file

@phdthesis{DBLP:phd/dnb/Richts00,
  author    = {J{\"{o}}rn Richts},
  title     = {Effiziente Entscheidungsverfahren zur E-Unifikation},
  school    = {{RWTH} Aachen University, Germany},
  year      = {2000},
  url       = {https://d-nb.info/959115471},
  isbn      = {978-3-8265-7335-4},
  timestamp = {Sat, 17 Jul 2021 09:07:30 +0200},
  biburl    = {https://dblp.org/rec/phd/dnb/Richts00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics