"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)