%0 Journal Article
%A Bonotto, C.
%A Bressan, A.
%T On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1983
%P 13-19
%V 70
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1983__70__13_0/
%G en
%F RSMUP_1983__70__13_0