DixFN01'

@incollection{DBLP:books/el/RV01/DixFN01,
  author    = {J{\"u}rgen Dix and
               Ulrich Furbach and
               Ilkka Niemel{\"a}},
  title     = {Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations},
  booktitle = {Handbook of Automated Reasoning},
  year      = {2001},
  pages     = {1241-1354},
  crossref  = {DBLP:books/el/RobinsonV01},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:books/el/RobinsonV01,
  editor    = {John Alan Robinson and
               Andrei Voronkov},
  title     = {Handbook of Automated Reasoning (in 2 volumes)},
  publisher = {Elsevier and MIT Press},
  year      = {2001},
  isbn      = {0-444-50813-9, 0-262-18223-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}