Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings - Michael Hanus, Jan Heering, Karl Meinke ((Lecture Notes in Computer Science))