Marco Comini Roberta Gori Giorgio Levi Paolo Volpe Abstract interpretation based verification of logic programs. 89-123 2003 49 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2003.08.002 db/journals/scp/scp49.html#CominiGLV03