TY  - RPRT
TI  - Useful axioms
AU  - Matteo Viale
PY  - 2019
UR  - https://arxiv.org/abs/1610.02832
ID  - 1610.02832
ER  -