@article{oai:tsukuba.repo.nii.ac.jp:00041559,
 author = {IBUKA, Shingo and KIKYO, Hirotaka and TANAKA, Hiroshi},
 issue = {1},
 journal = {Tsukuba Journal of Mathematics},
 month = {},
 pages = {95--129},
 title = {Quantifier Elimination for Lexicographic Products of Ordered Abelian Groups},
 volume = {33},
 year = {2009}
}