@article{oai:tsukuba.repo.nii.ac.jp:00015707,
 author = {Yukami, Tsuyoshi},
 issue = {1},
 journal = {Tsukuba Journal of Mathematics},
 month = {Jun},
 pages = {169--184},
 title = {A theorem on lengths of proof of Presburger formulas},
 volume = {7},
 year = {1983}
}