Amanda Vidal; Fèlix Bou; Lluís Godo "An SMT-based solver for continuous t-norm based logics", Scalable Uncertainty Management (SUM 2012). LNAI , E. Hüllermeier et al. (eds.) , vol. 7520, Marburg (Germany), Springer-Verlag Berlin Heidelberg, pp. 633-640, 17/09/2008.