@techreport{oai:ipsj.ixsq.nii.ac.jp:00031626,
 author = {玉木, 久夫 and 吉武, 由実 and Hisao, Tamaki and Yumi, Yoshitake},
 issue = {24(2008-AL-117)},
 month = {Mar},
 note = {平面グラフの刻み幅を決定する Seymour と Thomas の「ねずみ捕りアルゴリズム」の正当性証明のひとつの鍵となる補題の新しい証明を与える．この証明は，ねずみ捕りアルゴリズムを平面グラフよりも広いクラスに拡張するための基礎となると期待される．, We give a new proof of a key lemma in the correctness of proof of the "rat-catching algorighm" of Seymour and Thomas which decides the carving-width of planar graphs. This proof is expected to form a basis for extending the rat-catching algorithm to a broader class of graphs.},
 title = {平面グラフの刻み幅決定アルゴリズムの小交差数グラフへの拡張に向けて},
 year = {2008}
}