Proving properties of Logic Programs by Abstract Diagnosis

COMINI, Marco

LEVI G

MEO M. C

VITIELLO G.