The 2-nd form of the paper "The tree equivalence of linear recursive schemata is polinomial-time decidable".
