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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics