Locally Finite, Proper and Complete Operators for Refining Datalog Programs. - Floriana Esposito; Angela Laterza; Donato Malerba; Giovanni Semeraro (ISMIS, 1996)