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