B. Nuseibeh and A. Russo, “Using Abduction to Evolve Inconsistent Requirements Specification”, AJIS, vol. 6, no. 2, May 1999.