@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00003172,
 author = {横尾, 真},
 month = {Jun},
 title = {分散制約充足問題に関する研究},
 year = {1995}
}