Optimised tableau algorithms for reasoning in the description logic ALC extended with link keys. (Algorithmes de tableau optimisés pour le raisonnement dans la logique de description ALC étendue avec des clés de liage). - Khadija Jradeh (2022)