@article{oai:tsukuba.repo.nii.ac.jp:00029813,
 author = {Tanaka, Hiroshi and Yokoyama, Hirokazu},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {433--438},
 title = {Quantifier elimination of the products of ordered abelian groups},
 volume = {30},
 year = {2006}
}