Algebraic and Logic Programming 4th International Conference, ALP '94, Madrid, Spain, September 14 16, 1994. Proceedings - Levi, G. (Lecture Notes in Computer Science)