On some tractable classes in deduction and abduction
scientific article; zbMATH DE number 1454127