Resolution Derivation Protocol Design | Resolution Derivation | Mathematics | NEROS