Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
- 1 January 2001
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 11 (2), 207-251
- https://doi.org/10.1017/s0956796800003907