DMCA

Second-Order Matching via Explicit Substitutions ⋆

by Flávio L. C. De Moura , Fairouz Kamareddine