Nuseibeh B, Russo A. Using Abduction to Evolve Inconsistent Requirements Specification. AJIS [Internet]. 1999May1 [cited 2024Nov.21];6(2). Available from: https://ajis.aaisnet.org/index.php/ajis/article/view/296