%0 Journal Article %1 journals/corr/abs-2012-14235 %A Ferreira, Margarida %A Terra-Neves, Miguel %A Ventura, Miguel %A Lynce, Inês %A Martins, Ruben %D 2020 %J CoRR %K dblp %T FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. %U http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-14235 %V abs/2012.14235

@article{journals/corr/abs-2012-14235, added-at = {2021-01-05T00:00:00.000+0100}, author = {Ferreira, Margarida and Terra-Neves, Miguel and Ventura, Miguel and Lynce, Inês and Martins, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2a81de5fa02e56e327bb836fde928c378/dblp}, ee = {https://arxiv.org/abs/2012.14235}, interhash = {2fb5cf1b52e3994fc8f531e763331539}, intrahash = {a81de5fa02e56e327bb836fde928c378}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:50:11.000+0200}, title = {FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-14235}, volume = {abs/2012.14235}, year = 2020 }