Nuseibeh, B. and Russo, A. 1999. Using Abduction to Evolve Inconsistent Requirements Specification. Australasian Journal of Information Systems. 6, 2 (May 1999). DOI:https://doi.org/10.3127/ajis.v6i2.296.