Mohamed Khaled, Gergely Székely, Koen Lefever, Michèle Friend. Distances between Formal Theories. Rew. Symb. Logic, 13(3):633-654, 2020. [doi]
@article{KhaledSLF20,
title = {Distances between Formal Theories},
author = {Mohamed Khaled and Gergely Székely and Koen Lefever and Michèle Friend},
year = {2020},
doi = {10.1017/S1755020319000558},
url = {https://doi.org/10.1017/S1755020319000558},
researchr = {https://researchr.org/publication/KhaledSLF20},
cites = {0},
citedby = {0},
journal = {Rew. Symb. Logic},
volume = {13},
number = {3},
pages = {633-654},
}