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