Tableaux Algorithms for Expressive Possibilistic Description Logics. - Jinfan Zhu; Guilin Qi; Boontawee Suntisrivaraporn (Web Intelligence, 2013)