Zuo, Ming (2006) High performance absorption algorithms for terminological reasoning in description logics. Masters thesis, Concordia University.