“...International Conference on Logic Programming Leuven, Belgie)...”