| |
| 1995 | ||
|---|---|---|
| 3 | Alberto Bottoni: Analysis of SLDNF for Local CLP. GULP-PRODE 1995: 219-230 | |
| 1993 | ||
| 2 | Alberto Bottoni, Giorgio Levi: Computing in the Completion. GULP 1993: 375-392 | |
| 1 | Alberto Bottoni, Giorgio Levi: The Inverse of Fitting's Functional. Kurt Gödel Colloquium 1993: 132-143 | |
| 1 | Giorgio Levi | [1] [2] |