An anytime deduction algorithm for the probabilistic logic and entailment problems
scientific article; zbMATH DE number 5690118