TY  - RPRT
TI  - Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
AU  - Damien Pous
PY  - 2014
UR  - https://arxiv.org/abs/1407.3213
ID  - 1407.3213
ER  -