@misc{oai:tsukuba.repo.nii.ac.jp:00012903,
 author = {奥居, 哲 and Okui, Satoshi},
 month = {},
 note = {1995, 【要旨】},
 title = {Lazy narrowing calculi},
 year = {1995}
}