Calculating Church-Rosser proofs in Kleene algebra (2002)

by G Struth
Venue:Relational Methods in Computer Science, 6th International Conference. LNCS 2561