TY  - JOUR

T1  - Kleene Algebra.

JO  - Arch. Formal Proofs

PY  - 2013/01/01

AU  - Armstrong A

AU  - Struth G

AU  - Weber T

ED  - 

VL  - 2013

Y2  - 2024/12/22

ER  -