Computing in the Completion. - Alberto Bottoni; Giorgio Levi (GULP, 1993)

The Inverse of Fitting's Functional. - Alberto Bottoni; Giorgio Levi (Kurt Gödel Colloquium, 1993)

Analysis of SLDNF for Local CLP. - Alberto Bottoni (GULP-PRODE, 1995)