Գրեք սա: Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke (eds.).