Simon's Congruence Pattern Matching.

Sungmin Kim, Sang-Ki Ko, Yo-Sub Han

Browse the full ISAAC paper archive.