Anthony Hunter, Bashar Nuseibeh. Analyzing Inconsistent Specifications. In 3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA. pages 78-86, IEEE Computer Society, 1997. [doi]
Abstract is missing.