The Bayesian approach applied to GPS ambiguity resolution. A mixture model for the discrete-real ambiguities alternative | Publicación