@abstract{cintula2010,
	title     = {Features of mathematical theories in contraction-free logics},
	author    = { L. Behounek and  P. Cintula},
	year      = {2010},
	editor    = {J.-Y. Beziau, C. Caleiro, A. Costa-Leite, J. Ramos},
	pages     = {39},
	publisher = { Monte Estoril, Portugal.Industria Portuguesa de Tipografia, Lda.},
	booktitle = {UniLog2010 Book of Abstracts},
	state     = {published}
}