@techreport{weko_30482_1,
   author	 = "徐良為 and 武市,正人 and 岩崎,英哉",
   title	 = "再帰的に定義された関係からのアルゴリズムの導出",
   year 	 = "1994",
   institution	 = "東京大学大学院工学系研究科情報工学専攻, 東京大学工学部計数工学科, 東京大学教育用計算機センター",
   number	 = "31(1993-PRO-073)",
   month	 = "mar"
}