| S. Greco, C. Mateis, E. Spadafora Unification of Bounded Simple Set Terms in Deductive Databases RT-ICAR-CS-96-01 1996 |
| L. Palopoli, F. Pirri, C. Pizzuti An algorithm for Enumerating Prime Implicants RT-ICAR-CS-96-02 1996 |
| N. Leone, L. Palopoli, D. Saccà A Taxonomy of Query Complexity Classes RT-ICAR-CS-96-03 1996 |
| L. Palopoli, R. Torlone An active Language for Complex Object Databases with Distributed Triggers RT-ICAR-CS-96-04 1996 |
| P. Daponte, D. Grimaldi, A. Molinaro, Ya.D.. Sergeyev Solving an Optimization Problem Arising in Electrical Engineering RT-ICAR-CS-96-05 1996 |
| C. Pizzuti Prime Implicants Generation with Preference Criteria RT-ICAR-CS-96-06 1996 |
| G. Spezzano Visualizazione di Dati Scientifici in un Ambiente di Simulazione Parallelo RT-ICAR-CS-96-07 1996 |
| D. Talia Modelli e Linguaggi per l’Elaborazione Parallela RT-ICAR-CS-96-08 1996 |
| G. Spezzano, D. Talia Programming Higfh Performance Models of Soil Contamination by a Cellular Automata Language RT-ICAR-CS-96-09 1996 |
| G. Spezzano, D. Talia A High-Level Cellular Programming Model for Massively Parallel Processing RT-ICAR-CS-96-10 1996 |
| D. B. Skillicorn, D. Talia Models and Languages for Parallel Computation RT-ICAR-CS-96-11 1996 |
| S. Di Gregorio, R. Rongo, W. Spataro, G. Spezzano, D. Talia High Performance Scientific Computing by a Parallel Cellular Environment RT-ICAR-CS-96-12 1996 |
| F. Buccafurri, T. Eiter, G. Gottlob, N. Leone Combining Abduction and Model Checking Techniques RT-ICAR-CS-96-13 1996 |
| F. Buccafurri, N. Leone, P. Rullo Strong and Weak Constrains in Disjunctive Datalog RT-ICAR-CS-96-14 1996 |
| T. Eiter, G. Gottlob, N. Leone Abduction from Logic Programs : Semantics and Complexity RT-ICAR-CS-96-15 1996 |
| T. Eiter, G. Gottlob, N. Leone Semantics and Complexity of Abduction from Default Theories RT-ICAR-CS-96-16 1996 |
| T. Eiter, N. Leone, D. Saccà On the Partial Semantics foe Disjunctive Deductive Databases RT-ICAR-CS-96-17 1996 |
| T. Eiter, N. Leone, D. Saccà Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases RT-ICAR-CS-96-18 1996 |
| V. A. Grishagin, Ya..D. Sergeyev, R. G. Strongin On Convergence of Parallel Characteristical GO Algorithms RT-ICAR-CS-96-19 1996 |
