TY  - RPRT
TI  - Distances between formal theories
AU  - Michèle Friend
AU  - Mohamed Khaled
AU  - Koen Lefever
AU  - Gergely Székely
PY  - 2018
DO  - 10.1017/s1755020319000558
UR  - https://arxiv.org/abs/1807.01501
ID  - 1807.01501
ER  -