@article{OvchinnikovPogudinScanlon:2017,
    ArchivePrefix = {arXiv},
    Author = {{Ovchinnikov}, Alexey and {Pogudin}, Gleb and {Scanlon}, Thomas},
    EID = {arXiv:1712.01412},
    EPrint = {1712.01412},
    File = {Effective difference elimination and Nullstellensatz - 1712.01412 - a - z.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Mathematics - Algebraic Geometry, Mathematics - Logic, 12H10, 13P25 (Primary), 14Q20, 03C10, 03C60 (Secondary)},
    Month = {December},
    Pages = {arXiv:1712.01412},
    PrimaryClass = {math.AG},
    Title = {{Effective difference elimination and Nullstellensatz}},
    Year = {2017},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2017arXiv171201412O},
    date-added = {2020-04-10 07:42:54 +0200},
    date-modified = {2020-04-13 18:37:13 +0200},
    file-2 = {Effective difference elimination and Nullstellensatz - differenceelim - a - z.pdf},
    file-3 = {Elimination and consistency checking for difference equations (even though the theory is undecidable!) - BLC-14Sep18-difference - a - z.pdf},
    doi = {10.48550/arXiv.1712.01412}
}

@article{OvchinnikovPogudinScanlon:2017, ArchivePrefix = {arXiv}, Author = {{Ovchinnikov}, Alexey and {Pogudin}, Gleb and {Scanlon}, Thomas}, EID = {arXiv:1712.01412}, EPrint = {1712.01412}, File = {Effective difference elimination and Nullstellensatz - 1712.01412 - a - z.pdf}, Journal = {arXiv e-prints}, Keywords = {Mathematics - Algebraic Geometry, Mathematics - Logic, 12H10, 13P25 (Primary), 14Q20, 03C10, 03C60 (Secondary)}, Month = {December}, Pages = {arXiv:1712.01412}, PrimaryClass = {math.AG}, Title = {{Effective difference elimination and Nullstellensatz}}, Year = {2017}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2017arXiv171201412O}, date-added = {2020-04-10 07:42:54 +0200}, date-modified = {2020-04-13 18:37:13 +0200}, file-2 = {Effective difference elimination and Nullstellensatz - differenceelim - a - z.pdf}, file-3 = {Elimination and consistency checking for difference equations (even though the theory is undecidable!) - BLC-14Sep18-difference - a - z.pdf}, doi = {10.48550/arXiv.1712.01412} }