TY - RPRT TI - Effective definability of Kolchin polynomials AU - James Freitag AU - Omar Leon Sanchez AU - Wei Li PY - 2018 UR - https://arxiv.org/abs/1806.02060 ID - 1806.02060 ER -