Amalgamation through quantifier elimination for varieties of commutative residuated lattices
E Marchioni
ISSN
0933−5846
Journal
Archive for Mathematical Logic
Month
Feb
Pages
15–34
Volume
51
Year
2012
E Marchioni