Elkarablieh, Garcia, Suen, Khurshid, 2007. Assertion-based repair of complex data structures, in: . ACM Press.. https://doi.org/10.1145/1321631.1321643