Authors: Degtyarev, A Gurevich, Y Narendran, P Veanes, M Voronkov, A

Citation: A. Degtyarev et al., Decidability and complexity of simultaneous rigid E-unification with one variable and related results, THEOR COMP, 243(1-2), 2000, pp. 167-184

Authors: Degtyarev, A Kharlamov, V

Citation: A. Degtyarev et V. Kharlamov, Topological properties of real algebraic varieties: du cote de chez Rokhlin, RUSS MATH S, 55(4), 2000, pp. 735-814