A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies | IEEE Conference Publication | IEEE Xplore