TY - RPRT TI - On the decidability of the theory of modules over the ring of algebraic integers AU - Sonia L'Innocente AU - Carlo Toffalori AU - Gena Puninski PY - 2016 UR - https://arxiv.org/abs/1603.09042 ID - 1603.09042 ER -