Title: Canonical equational proofs
Subjects: Equations, Rewriting systems (Computer science), Machine theory