Abstract Diagnosis of First Order Functional Logic Programs.

Giovanni Bacci, Marco Comini

Browse the full LOPSTR paper archive.