Ideal Refinement of Datalog Programs.

Giovanni Semeraro, Floriana Esposito, Donato Malerba

Browse the full LOPSTR paper archive.