Franz Baader, Patrick Koopmann, FRIEDRICH MICHEL, Anni-Yasmin Turhan, und BENJAMIN ZARRIESS. Efficient TBox Reasoning with Value Restrictions using the wer Reasoner. Theory and Practice of Logic Programming, (22):1--29, Oktober 2021. [PUMA: imported]