@article{RSMUP_1983__70__13_0,
     author = {Bonotto, C. and Bressan, A.},
     title = {On a synonymy relation for extensional 1st order theories. {Part} {II.} {A} sufficient criterion for non synonymy. {Applications}},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {13--19},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {70},
     year = {1983},
     mrnumber = {742106},
     zbl = {0538.03025},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1983__70__13_0/}
}