@article{RSMUP_1984__71__1_0,
     author = {Bonotto, C. and Bressan, A.},
     title = {On a synonymy relation for extensional 1st order theories. {Part} {III.} {A} necessary and sufficient condition for synonymy},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {1--13},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {71},
     year = {1984},
     mrnumber = {769426},
     zbl = {0553.03019},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1984__71__1_0/}
}