Constructive Induction Workflow Protocol | Constructive Induction | Mathematics | NEROS