When Bi-Interpretability Implies Synonymy

DSpace/Manakin Repository