Inconsistency check of a set of clauses using Petri net reductions
scientific article; zbMATH DE number 4045164
scientific article