Return to Article Details Explainability via Short Formulas: the Case of Propositional Logic with Implementation Download Download PDF