DMCA

Second- and Third-Order Matching via Explicit Substitutions

by Flávio Leonardo , Cavalcanti De Moura , Ciência Da Computação , Brasília Df , Mauricio Ayala-rincón