Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro. Locally Finite, Proper and Complete Operators for Refining Datalog Programs. In Zbigniew W. Ras, Maciej Michalewicz, editors, Foundations of Intelligent Systems, 9th International Symposium, ISMIS 96, Zakopane, Poland, June 9-13, 1996, Proceedings. Volume 1079 of Lecture Notes in Computer Science, pages 468-478, Springer, 1996.
@inproceedings{EspositoLMS96,
title = {Locally Finite, Proper and Complete Operators for Refining Datalog Programs},
author = {Floriana Esposito and Angela Laterza and Donato Malerba and Giovanni Semeraro},
year = {1996},
tags = {completeness, Datalog},
researchr = {https://researchr.org/publication/EspositoLMS96},
cites = {0},
citedby = {0},
pages = {468-478},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, ISMIS 96, Zakopane, Poland, June 9-13, 1996, Proceedings},
editor = {Zbigniew W. Ras and Maciej Michalewicz},
volume = {1079},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61286-6},
}