Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. - Tommaso Cortonesi; Enrico Marchioni; Franco Montagna (Notre Dame J. Formal Log., 2011)