Nuseibeh, B., and A. Russo. “Using Abduction to Evolve Inconsistent Requirements Specification”. Australasian Journal of Information Systems, vol. 6, no. 2, May 1999, doi:10.3127/ajis.v6i2.296.