Srijan Kumar, Edoardo Serra, Francesca Spezzano, V. S. Subrahmanian: Metric Logic Program Explanations for Complex Separator Functions. SUM 2016: 199-213