Geometric decision procedures and the VC dimension of linear arithmetic theories | Publicación