Shakerin, F.; Gupta, G. Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. AAAI 2019, 33, 3052-3059.