Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases (Artificial Intelligence, 2000)

(untitled) - Eiter, T; Lukasiewicz, T