TY  - RPRT
TI  - Detecting One-variable Patterns
AU  - Dmitry Kosolobov
AU  - Florin Manea
AU  - Dirk Nowotka
PY  - 2017
UR  - https://arxiv.org/abs/1604.00054
ID  - 1604.00054
ER  -