@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} }