Interpretazione astratta di linguaggi logici con vincoli su domini finiti