TY  - RPRT
TI  - Resolution with Symmetry Rule applied to Linear Equations
AU  - Pascal Schweitzer
AU  - Constantin Seebach
PY  - 2021
UR  - https://arxiv.org/abs/2101.05142
ID  - 2101.05142
ER  -