Amalgamation through quantifier elimination for varieties of commutative residuated lattices | Publicación