Jens Lehmann, Sebastian Bader, Pascal Hitzler: Extracting reduced logic programs from artificial neural networks. Appl. Intell. 32(3): 249-266 (2010)