Logic Programming '87 Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 | EKB DL