"Algebraic and Logic Programming 5 conf., ALP'96" - читать интересную книгу автора (Michael Hanus, Mario Rodriguez-Artalejo)