"Algebraic and Logic Programming 6 conf., ALP '97 - HOA '97" - читать интересную книгу автора (Michael Hanus, Jan Heering, Karl Meinke)