%0 Generic
%T Concise Justifications Versus Detailed Proofs for Description Logic Entailments
%A Borgwardt, Stefan
%I Technische Universität Dresden
%D 2023
%X In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
%C Technische Universität Dresden
%C Dresden
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation