DBLP BibTeX Record 'books/daglib/0001787'

@book{DBLP:books/daglib/0001787,
  author    = {Thomas Linke},
  title     = {New foundations for automation of default reasoning},
  publisher = {Infix},
  series    = {DISKI},
  volume    = {237},
  year      = {2000},
  isbn      = {978-3-89838-237-3},
  pages     = {I-VII, 1-182},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}