TY - RPRT TI - Derivatives for Enhanced Regular Expressions AU - Peter Thiemann PY - 2016 UR - https://arxiv.org/abs/1605.00817 ID - 1605.00817 ER -