Algebraic And Logic Programming Third International Conference Volterra Italy