@article {621ab2c23b1741328df5567ff21c1991,
	title = {Belief, provability, and logic programs},
	journal = {Journal Of Applied Non-Classical Logics},
	volume = {5},
	number = {1},
	year = {1995},
	note = {n/a},
	pages = {31{\textendash}50},
	publisher = {Hermes},
	abstract = {n/a},
	issn = {1166-3081},
	doi = {10.1080/11663081.1995.10510842},
	author = {Alferes, {Jos{\'e} J{\'u}lio} and Pereira, {Lu{\'\i}s Moniz}}
}
