References

Baader, F., & Nipkow, T. (2009). Term rewriting and all that.

Legrand Orange Book Template, licensed under CC BY-NC-SA 4.0. Special thanks to my friend Jamie for reviewing and sharing.