Third International Conference on Logic Programming (Lecture Notes in Computer Science)