Simon's congruence pattern matching

From MaRDI portal
Publication:6204538