"Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers " - читать интересную книгу автора (Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller)