Is intractability of nonmonotonic reasoning a real drawback?
scientific article; zbMATH DE number 1178622
scientific article