BibTeX record phd/dnb/Wischnewski12

download as .bib file

@phdthesis{DBLP:phd/dnb/Wischnewski12,
  author    = {Patrick Wischnewski},
  title     = {Efficient reasoning procedures for complex first-order theories},
  school    = {Saarland University},
  year      = {2012},
  url       = {http://scidok.sulb.uni-saarland.de/volltexte/2012/4996/},
  timestamp = {Wed, 12 Feb 2020 16:42:16 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Wischnewski12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics