Downward Refinement of Hierarchical Datalog Theories

Floriana Esposito, Nicola Fanizzi, Donato Malerba, Giovanni Semeraro. Downward Refinement of Hierarchical Datalog Theories. In MarĂ­a Alpuente, Maria I. Sessa, editors, 1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995. pages 148-159, 1995.

Abstract

Abstract is missing.