Nuseibeh, Bashar, and Alessandra Russo. 1999. “Using Abduction to Evolve Inconsistent Requirements Specification”. Australasian Journal of Information Systems 6 (2). Australia. https://doi.org/10.3127/ajis.v6i2.296.