@inbook{b3be5cf3c8664f8a89d99984e947cf69,
title = "Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations",
keywords = "automated reasoning, logic programming, nonmonotonic logic, automated reasoning, logic programming, nonmonotonic logic, automated reasoning, logic programming, nonmonotonic logic",
author = "J{\"u}rgen Dix and Ulrich Furbach and Ilkka Niemel{\"a}",
year = "2001",
doi = "10.1016/B978-044450813-3/50021-7",
language = "English",
volume = "Volume II",
pages = "1241--1354",
editor = "A. Robinson and A. Voronkov",
booktitle = "Handbook of Automated Reasoning",
publisher = "Elsevier Science",
address = "United Kingdom",
}