Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories (2001)

by Hélène Kirchner , Pierre-Etienne Moreau
Citations:30 - 6 self