@inbook {4b679046572d4db38799ba69bd2747c3,
	title = {Well-founded abduction via tabled dual programs},
	booktitle = {MIT Press},
	year = {1999},
	note = {n/a},
	month = {1},
	pages = {426{\textendash}440},
	abstract = {n/a},
	author = {Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
