Fixed-parameter tractability of disjunction-free default reasoning
scientific article; zbMATH DE number 1963351