Towards fast atomic decomposition using axiom dependency hypergraphs (2013)

by F Martín-Recuerda, D Walther
Venue:In Workshop on Modular Ontologies (WoMO) 2013, CEUR Workshop Proceedings