TY  - JOUR
AU  - Bonotto, C.
AU  - Bressan, A.
TI  - On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1983
SP  - 13
EP  - 19
VL  - 70
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1983__70__13_0/
LA  - en
ID  - RSMUP_1983__70__13_0
ER  -