@article{DBLP:journals/ai/EiterL00, title = "Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases", author = "Thomas Eiter and Thomas Lukasiewicz", year = "2000", journal = "Artificial Intelligence", month = "December", number = "2", pages = "169--241", url = "http://dx.doi.org/10.1016/S0004-3702(00)00073-4", volume = "124", }