“...International Conference on Algebraic and Logic Programming...”