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