@article{oai:tsukuba.repo.nii.ac.jp:00018582,
 author = {Suzuki, Nobuya},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {291--301},
 title = {Quantifier elimination results for products of ordered Abelian groups},
 volume = {28},
 year = {2004}
}