Inference guiding in propositional knowledge bases
scientific article; zbMATH DE number 1248233