@article{CRMATH_2008__346_13-14_703_0,
     author = {B\'elair, Luc and Point, Fran\c{c}oise},
     title = {\'Elimination des quantificateurs dans les \'equations aux diff\'erences lin\'eaires sur les vecteurs de {Witt}},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {703--706},
     publisher = {Elsevier},
     volume = {346},
     number = {13-14},
     year = {2008},
     doi = {10.1016/j.crma.2008.05.011},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2008.05.011/}
}