Proving Properties of Logic Programs by Abstract Diagnosis.

Marco Comini Giorgio Levi Maria Chiara Meo Giuliana Vitiello Proving Properties of Logic Programs by Abstract Diagnosis. 22-50 1996 conf/lomaps/1996 LOMAPS db/conf/lomaps/lomaps96.html#CominiLMV96 http://dx.doi.org/10.1007/3-540-62503-8_2