R. Stern, M. Kalech, and H. Shinitzky, “Implementing Troubleshooting with Batch Repair”, AAAI, vol. 30, no. 1, Feb. 2016.