Algorithmic Verification on Finite Structures Implementation Protocol | Algorithmic Verification on Finite Structures | Mathematics | NEROS