TY  - RPRT
TI  - Definability of linear equation systems over groups and rings
AU  - Anuj Dawar
AU  - Eryk Kopczynski
AU  - Bjarki Holm
AU  - Erich Grädel
AU  - Wied Pakusa
PY  - 2013
DO  - 10.2168/lmcs-9(4:12)2013
UR  - https://arxiv.org/abs/1204.3022
ID  - 1204.3022
ER  -