D.  Pedreschi and Ruggieri, S., ?Verification of Logic Programs?, J. Log. Program., vol. 39, pp. 125-176, 1999.