@PRESENTATION{i}k2008,
	title     = {Minimal varieties of cancellative residuated lattices},
	author    = {Rostislav Hor{\v c}{\' i}k},
	year      = {2008},
	month     = {August},
	booktitle = {BLAST 2008. Denver: University of Denver},
	state     = {published}
}