id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ajis02-296	Nuseibeh, Bashar; Russo, Alessandra	Using Abduction to Evolve Inconsistent Requirements Specification	1999	13	.pdf	application/pdf	9046	464	49	We have also developed a theorem prover for QC logic to facilitate reasoning over QC specifications. This is written in Prolog and takes advantage of the classical translation of QC specifications into first-order logic, using the correspondence theorem above.	cache/ajis02-296.pdf	txt/ajis02-296.txt