@inproceedings{BofillMVV13prole,
	Address = {Madrid, Spain},
	Author = {Miquel Bofill and Gin\'es Moreno and Carlos V\'azquez and Mateu Villaret},
	Booktitle = {XIII Spanish Conference on Programming and Computer Languages (PROLE 2013)},
	Month = {September},
	Pages = {151--165},
	Title = {Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT},
	Year = {2013}}