Automated Analysis of Regular Algebra.

Simon Foster, Georg Struth

Browse the full CADE paper archive.