@techreport{weko_51176_1,
   author	 = "小幡,卓",
   title	 = "逐次単節導出による演繹推論アルゴリズム",
   year 	 = "1990",
   institution	 = "防衛庁",
   number	 = "88(1990-ICS-073)",
   month	 = "nov"
}