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