An Abstract Interpretation Algorithm for Residuating Logic Programs.

Michael Hanus

Browse the full SAS paper archive.