@conference{esteva2010,
	title     = {First order SMTL logic and quasi-witnessed models},
	author    = {Marco Cerami and  Francesc Esteva},
	year      = {2010},
	editor    = {A. Pelegrin},
	pages     = {145--150},
	month     = {February },
	organization= {Huelva University},
	booktitle = {Proc. ESTYLF2010},
	state     = {published},
	talk      = {1}
}