Choice Function Construction Protocol Design | Choice Function Construction | Mathematics | NEROS