TY  - RPRT
TI  - Logic of gauge
AU  - Alexander Afriat
PY  - 2017
UR  - https://arxiv.org/abs/1706.10152
ID  - 1706.10152
ER  -