Fixed-Point Construction in Logic Execution Protocol | Fixed-Point Construction in Logic | Mathematics | NEROS