TY  - RPRT
TI  - A modification of the CSP algorithm for infinite languages
AU  - Dmitriy Zhuk
PY  - 2019
UR  - https://arxiv.org/abs/1803.07465
ID  - 1803.07465
ER  -