@conference {DBLP:conf/iclp/PedreschiR99, title = {Bounded Nondeterminism of Logic Programs}, booktitle = {ICLP}, year = {1999}, pages = {350-364}, author = {Dino Pedreschi and Salvatore Ruggieri} }