Inductive Enumeration Implementation Protocol | Inductive Enumeration | Mathematics | NEROS