Anti-pattern Matching Modulo.

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Browse the full LATA paper archive.