M.  Labaf, ? Propositional rule extraction from neural networks under background knowledge?, in Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017.