@inbook {9e82621470cd43f6a67e0389e8ffdb31,
	title = {DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL},
	booktitle = {MIT Press},
	year = {1993},
	note = {n/a},
	month = {1},
	pages = {316{\textendash}330},
	abstract = {n/a},
	author = {Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
