You are about to access our book library "Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science, 463) full version" .