@article {DBLP:journals/amai/PedreschiR04,
	title = {Bounded Nondeterminism of Logic Programs},
	journal = {Ann. Math. Artif. Intell.},
	volume = {42},
	number = {4},
	year = {2004},
	pages = {313-343},
	author = {Dino Pedreschi and Salvatore Ruggieri}
}
