Quantifying conflicts in propositional logic through prime implicates
scientific article; zbMATH DE number 6807706
scientific article