@article{RSMUP_1983__69__63_0,
     author = {Bonotto, C. and Bressan, A.},
     title = {On a synonymy relation for extensional 1st order theories. {Part} 1. {A} notion of synonymy},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {63--76},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {69},
     year = {1983},
     mrnumber = {716986},
     zbl = {0525.03019},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1983__69__63_0/}
}