Locally Finite, Proper and Complete Operators for Refining Datalog Programs.

Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro

Browse the full ISMIS paper archive.