Loading paper
Autoconj: Recognizing and Exploiting Conjugacy Without a Domain-Specific Language | Tomesphere