"Algebraic and Logic Programming 4 conf., ALP'94" - читать интересную книгу автора (Giorgio Levi, Mario Rodriguez-Artalejo)