BibTeX record phd/dnb/Rieger98

download as .bib file

@phdthesis{DBLP:phd/dnb/Rieger98,
  author    = {Anke D. Rieger},
  title     = {Program optimization for temporal reasoning within a logic programming
               framework},
  school    = {Technical University of Dortmund, Germany},
  year      = {1998},
  url       = {http://d-nb.info/95409719X},
  isbn      = {978-3-8265-4041-7},
  timestamp = {Fri, 13 Jan 2017 12:56:59 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Rieger98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics