Nuseibeh, Bashar, and Alessandra Russo. “Using Abduction to Evolve Inconsistent Requirements Specification”. Australasian Journal of Information Systems 6, no. 2 (May 1, 1999). Accessed November 24, 2024. https://ajis.aaisnet.org/index.php/ajis/article/view/296.