@misc{oai:tsukuba.repo.nii.ac.jp:00011511,
 author = {Yukami, Tsuyoshi and 遊上, 毅},
 month = {},
 note = {1983, 【要旨】},
 title = {Lengths of proofs of presburger formulas},
 year = {1983}
}