Algebraic and Logic Programming: Third International Conference, Volterra, Italy | Kaicus Deutschland