@inbook {6bb36ba86f8547229ef9426a72574508,
	title = {SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS},
	booktitle = {MIT Press},
	year = {1993},
	note = {n/a},
	month = {1},
	pages = {334{\textendash}348},
	abstract = {n/a},
	author = {Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
