Equational Theorem Proving Modulo.

Dohan Kim, Christopher Lynch

Browse the full CADE paper archive.