%0 Journal Article %J J. Log. Program. %D 1999 %T Verification of Logic Programs %A Dino Pedreschi %A Salvatore Ruggieri %B J. Log. Program. %V 39 %P 125-176 %G eng