1/19/2026
•
EN
Subterms Modulo Theories I
Explores generalizing term operations like unification and rewriting to advanced structures like AC terms and rational terms, with Python examples.