E. Spadafora

Implementation of Chain Logic Queries

Sergio Greco, Eugenio Spadafora, S. Greco, 1996, APPIA-GULP-PRODE.

Querying datalog with arrays: Design and implementation issues

Sergio Greco, Luigi Palopoli, Eugenio Spadafora, 1996, J. Syst. Integr..

The Complexity of Weak Unification of Bounded Simple Set Terms

Sergio Greco, Cristinel Mateis, Eugenio Spadafora, 1996, DEXA.

Unification of Bounded Simple Set Terms in Deductive Databases

Sergio Greco, Cristinel Mateis, Eugenio Spadafora, 1996, Logic in Databases.

Extending Datalog with Arrays

Sergio Greco, Luigi Palopoli, Eugenio Spadafora, 1995, Data Knowl. Eng..