Loris Bozzato, Martin Homola, Luciano Serafini: ExpTime Tableaux Algorithm for Contextualized <i>ALC</i>. CONTEXT 2013: 199-212