Vol-2662⫷ Vol-2663 ⫸Vol-2664
urn:nbn:de:0074-2663-0


Vol-2663/invited-3⫷Vol-2663/paper-1⫸Vol-2663/paper-2
Christian AlrabbaaFranz BaaderStefan BorgwardtPatrick KoopmannAlisa Kovtunova

On the Complexity of Finding Good Proofs for Description Logic Entailments