M. Comini, Gori, R., and Levi, G.,
“Assertion based Inductive Verification Methods for Logic Programs”,
Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
M. Comini, Gori, R., Levi, G., and Volpe, P.,
“Abstract Interpretation based Verification of Logic Programs”,
Science of Computer Programming, vol. 49, pp. 89–123, 2003.