Finding Small Proofs for Description Logic Entailments
Theory and Practice

LPAR submission number 44

Unzip "experiments_LPAR_2020_submission_44.zip", and follow the instructions in the "README" file.
Click here to download the zip file.