Stern, R.; Kalech, M.; Shinitzky, H. Implementing Troubleshooting With Batch Repair. AAAI 2016, 30.