TY - RPRT TI - Regular bi-interpretability of Chevalley groups over local rings AU - Elena Bunina PY - 2022 UR - https://arxiv.org/abs/2208.13623 ID - 2208.13623 ER -