@inproceedings{marchioni2008,
	title     = {Amalgamation for residuated structures through quantifier elimination},
	author    = {E. Marchioni},
	year      = {2008},
	booktitle = {LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena},
	state     = {published},
	talk      = {1}
}