You are about to access our book library "Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science, 383) full version" .