TY  - RPRT
TI  - Symbolic Solving of Extended Regular Expression Inequalities
AU  - Matthias Keil
AU  - Peter Thiemann
PY  - 2014
UR  - https://arxiv.org/abs/1410.3227
ID  - 1410.3227
ER  -