@inproceedings{inproceedings, title = {{Calculating Church-Rosser proofs in Kleene algebra}}, url = {{}}, year = {{2002}}, month = {{1}}, author = {{Struth G}}, volume = {{2561}}, journal = {{RELATIONAL METHODS IN COMPUTER SCIENCE}}, pages = {{276-290}}, note = {{Accessed on 2025/05/21}}}