@inproceedings{HM21,
    Author = {Haase, Christoph and Mansutti, Alessio},
    BookTitle = {Mathematical Foundations of Computer Science, MFCS},
    File = {On deciding linear arithmetic constraints over p-adic integers for all primes - hm-21.pdf},
    Note = {To appear},
    Pages = {72:1--72:21},
    Publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
    Series = {LIPIcs},
    Title = {On deciding linear arithmetic constraints over $p$-adic integers for all primes},
    Volume = {202},
    Year = {2021},
    bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.MFCS.2021.72},
    date-added = {2021-07-22 16:12:45 +0200},
    date-modified = {2021-07-22 16:12:45 +0200},
    doi = {10.4230/LIPIcs.MFCS.2021.72}
}

@inproceedings{HM21, Author = {Haase, Christoph and Mansutti, Alessio}, BookTitle = {Mathematical Foundations of Computer Science, MFCS}, File = {On deciding linear arithmetic constraints over p-adic integers for all primes - hm-21.pdf}, Note = {To appear}, Pages = {72:1--72:21}, Publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, Series = {LIPIcs}, Title = {On deciding linear arithmetic constraints over $p$-adic integers for all primes}, Volume = {202}, Year = {2021}, bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.MFCS.2021.72}, date-added = {2021-07-22 16:12:45 +0200}, date-modified = {2021-07-22 16:12:45 +0200}, doi = {10.4230/LIPIcs.MFCS.2021.72} }