TY  - RPRT
TI  - FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
AU  - Margarida Ferreira
AU  - Miguel Terra-Neves
AU  - Miguel Ventura
AU  - Inês Lynce
AU  - Ruben Martins
PY  - 2020
UR  - https://arxiv.org/abs/2012.14235
ID  - 2012.14235
ER  -