A Distributed Tableau Algorithm for Package-based Description Logics
Sappress Businessobjects Web Intelligence