Marco Cerami, Francesc Esteva, Félix Bou: Decidability of a Description Logic over Infinite-Valued Product Logic. KR 2010