M.  Labaf, Hitzler, P., and Evans, A. B., ?Propositional Rule Extraction from Neural Networks under Background Knowledge?, 2017.