Nuseibeh, B.; Russo, A. Using Abduction to Evolve Inconsistent Requirements Specification. AJIS 1999, 6.