“...International Logic Programming Symposium Port Washington, New York)...”