Quantifier elimination results for products of ordered Abelian groups

@inproceedings{Suzuki2004QuantifierER,
  title={Quantifier elimination results for products of ordered Abelian groups},
  author={Nobuya Suzuki},
  year={2004}
}