@inbook {2c6c725ca89a4df19cb167d8f649b17b,
	title = {SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION},
	booktitle = {MIT Press},
	year = {1994},
	note = {n/a},
	month = {1},
	pages = {424{\textendash}438},
	abstract = {n/a},
	author = {Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
