TY  - CONF

T1  - Calculating Church-Rosser proofs in Kleene algebra

JO  - RELATIONAL METHODS IN COMPUTER SCIENCE

PY  - 2002/12/16

AU  - Struth G

ED  - DeSwart HCM

VL  - 2561

SP  - 276

EP  - 290

Y2  - 2025/12/03

ER  -