On negation: Pure local rules
scientific article; zbMATH DE number 2165050
scientific article