@techreport{weko_30289_1,
   author	 = "山田,俊行 and Middeldorp,Aart and 井田,哲雄",
   title	 = "条件付き項書換え系の健全性と完全性",
   year 	 = "1996",
   institution	 = "筑波大学博士課程工学研究科, 筑波大学電子情報工学系, 筑波大学電子情報工学系",
   number	 = "83(1996-PRO-009)",
   month	 = "sep"
}