@conference{bou,
	title     = {Decidability of a Description Logic over infinite-valued Product Logic},
	author    = {Marco Cerami and  Francesc Esteva and  Felix Bou},
	booktitle = {Proceedings KR2010},
	state     = {inpress},
	acknowledged= {1},
	talk      = {1}
}