@article {DBLP:journals/tcs/PedreschiR99,
	title = {On Logic Programs That Do Not Fail},
	journal = {Electr. Notes Theor. Comput. Sci.},
	volume = {30},
	number = {1},
	year = {1999},
	author = {Dino Pedreschi and Salvatore Ruggieri}
}
