Improved algorithms for module extraction and atomic decomposition (2012)

by D Tsarkov
Venue:In: Proc. of 25th International Workshop on Description Logics (DL