Second-Order Matching via Explicit Substitutions.

Flvio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincn

Browse the full LPAR paper archive.