“...Joint International Conference and Symposium on Logic Programming Manchester, Anglie)...”