@article {f383bf85926847dcbb387256c285c839,
	title = {A Logic Programming System for Non-monotonic Reasoning},
	journal = {Journal Of Automated Reasoning},
	volume = {14},
	number = {1},
	year = {1995},
	note = {n/a},
	month = {1},
	pages = {93{\textendash}147},
	publisher = {Springer Science Business Media},
	abstract = {n/a},
	keywords = {Belief Revision, LOGIC PROGRAMMING PROCEDURES, LOGIC PROGRAMMING SEMANTICS, nonmonotonic reasoning, well-founded semantics},
	issn = {0168-7433},
	doi = {10.1007/BF00883931},
	author = {Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
