Linearity and regularity with negation normal form
scientific article; zbMATH DE number 2126079
scientific article