Francesco M. Donini Simona Colucci Tommaso Di Noia Eugenio Di Sciascio A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. 2009 Description Logics http://ceur-ws.org/Vol-477/paper_22.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#DoniniCNS09