@article {DBLP:journals/jlp/PedreschiR99,
	title = {Verification of Logic Programs},
	journal = {J. Log. Program.},
	volume = {39},
	number = {1-3},
	year = {1999},
	pages = {125-176},
	author = {Dino Pedreschi and Salvatore Ruggieri}
}
