Joint International Conference and Symposium on Logic Programming. Bonn, Germany, September 1996

(1996)