TY  - RPRT
TI  - An axiomatization for the universal theory of the Heisenberg group
AU  - Anthony M. Gaglione
AU  - Dennis Spellman
PY  - 2023
DO  - 10.46298/jgcc.2023..12200
UR  - https://arxiv.org/abs/2308.14351
ID  - 2308.14351
ER  -