DMCA

Second-Order Matching via Explicit Substitutions

by Flávio L. C. De Moura , Fairouz Kamareddine , Mauricio Ayala-Rincón