@phdthesis{Sai98,
title = {Combinaison de M\'ethodes D\'eductives et Arithm\'ethiques pour la V\'erification },
author = {Saidi, Hassen},
month = {jan},
year = {1998},
school = {Universit\'e Joseph Fourier, Grenoble I},
team = {DCS},
}
