Applying Quantifier Elimination to the Birkhoff Interpolation Problem | Publicación