“...International Conference and Symposium on Logic Programming Bonn, Německo)...”