Reduction-Based Design Protocol Design | Reduction-Based Design | Mathematics | NEROS