@phdthesis{DBLP:phd/dnb/Hustadt99,
  author       = {Ullrich Hustadt},
  title        = {Resolution based decision procedures for subclasses of first-order
                  logic},
  school       = {Saarland University, Saarbr{\"{u}}cken, Germany},
  year         = {1999},
  url          = {http://scidok.sulb.uni-saarland.de/volltexte/2004/190/index.html},
  urn          = {urn:nbn:de:bsz:291-scidok-1907},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Hustadt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2mXSBf3xGotoWWuRc","bibbaseid":"hustadt-resolutionbaseddecisionproceduresforsubclassesoffirstorderlogic-1999","author_short":["Hustadt, U."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"title":"Resolution based decision procedures for subclasses of first-order logic","school":"Saarland University, Saarbrücken, Germany","year":"1999","url":"http://scidok.sulb.uni-saarland.de/volltexte/2004/190/index.html","urn":"urn:nbn:de:bsz:291-scidok-1907","timestamp":"Sat, 17 Jul 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/phd/dnb/Hustadt99.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@phdthesis{DBLP:phd/dnb/Hustadt99,\n author = {Ullrich Hustadt},\n title = {Resolution based decision procedures for subclasses of first-order\n logic},\n school = {Saarland University, Saarbr{\\\"{u}}cken, Germany},\n year = {1999},\n url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/190/index.html},\n urn = {urn:nbn:de:bsz:291-scidok-1907},\n timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/phd/dnb/Hustadt99.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U."],"key":"DBLP:phd/dnb/Hustadt99","id":"DBLP:phd/dnb/Hustadt99","bibbaseid":"hustadt-resolutionbaseddecisionproceduresforsubclassesoffirstorderlogic-1999","role":"author","urls":{"Paper":"http://scidok.sulb.uni-saarland.de/volltexte/2004/190/index.html"},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["resolution","based","decision","procedures","subclasses","first","order","logic","hustadt"],"title":"Resolution based decision procedures for subclasses of first-order logic","year":1999}