1. M. Krebber "MatchPy " 2017. [Online]. Available: https://github.com/HPAC/matchpy M. Krebber "MatchPy " 2017. [Online]. Available: https://github.com/HPAC/matchpy
2. Term Rewriting and All That
3. I. Wolfram Research "Mathematica " 2016 URL: https://www.wolfram.com. I. Wolfram Research "Mathematica " 2016 URL: https://www.wolfram.com.
4. Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories;Kirchner H.;International Journal of Foundations of Computer Science,2001
5. L. Haoyi "Macropy " https://github.com/lihaoyi/macropy 2014. [Online]. Available: https://github.com/lihaoyi/macropy L. Haoyi "Macropy " https://github.com/lihaoyi/macropy 2014. [Online]. Available: https://github.com/lihaoyi/macropy