@inproceedings { 4654, title = {An SMT-based solver for continuous t-norm based logics}, booktitle = {Scalable Uncertainty Management (SUM 2012)}, volume = {7520}, year = {2012}, month = {17/09/2012}, pages = {633-640}, publisher = {Springer-Verlag Berlin Heidelberg}, organization = {Springer-Verlag Berlin Heidelberg}, edition = {E. Hüllermeier et al.}, address = {Marburg (Germany)}, author = {Amanda Vidal and F\`elix Bou and Llu\'{\i}s Godo} }