TY  - RPRT
TI  - Evidence, Proofs, and Derivations
AU  - Andrew Aberdein
PY  - 2019
DO  - 10.1007/s11858-019-01049-5
UR  - https://arxiv.org/abs/1904.02593
ID  - 1904.02593
ER  -