Automated Reasoning in Kleene Algebra.

Peter Hfner, Georg Struth

Browse the full CADE paper archive.