TY - RPRT TI - Effective difference elimination and Nullstellensatz AU - Alexey Ovchinnikov AU - Gleb Pogudin AU - Thomas Scanlon PY - 2019 DO - 10.4171/jems/968 UR - https://arxiv.org/abs/1712.01412 ID - 1712.01412 ER -