Elementary equivalence of Chevalley groups over local rings

It is proved that (elementary) Chevalley groups over local rings with invertible 2 are elementarily equivalent if and only if their types and weight lattices coincide and the initial rings are elementarily equivalent.
Bibliography: 25 titles.