Constructive Negation Analysis Workflow Protocol | Constructive Negation Analysis | Mathematics | NEROS