Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.

Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers

Browse the full CALCO paper archive.