Characterizing consistency in probabilistic logic for a class of Horn clauses
scientific article; zbMATH DE number 700809
scientific article