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