Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Reference:

Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic reasoning: Towards efficient calculi and implementations. In Andrei Voronkov and Alan Robinson, editors, Handbook of Automated Reasoning, chapter 19, pages 1241–1354. Elsevier Science, Amsterdam, 2001.

Suggested BibTeX entry:

@incollection{DFN2001,
    address = {Amsterdam},
    author = {J{\"u}rgen Dix and Ulrich Furbach and Ilkka Niemel{\"a}},
    booktitle = {Handbook of Automated Reasoning},
    chapter = {19},
    editor = {Andrei Voronkov and Alan Robinson},
    pages = {1241--1354},
    publisher = {Elsevier Science},
    title = {Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations},
    year = {2001},
}