Переработанный вариант статьи "The tree equivalence of linear recursive schemata is polinomial-time decidable".
