On Generalization of Definitional Equivalence to Non-Disjoint Languages. - Koen Lefever; Gergely Székely (J. Philos. Log., 2019)

Distances between Formal Theories. - Mohamed Khaled; Gergely Székely; Koen Lefever; Michèle Friend (Rev. Symb. Log., 2020)