@techreport{weko_32526_1,
   author	 = "山崎,勇",
   title	 = "命題論理における推論と充足の代数化",
   year 	 = "1992",
   institution	 = "(株)東芝総合研究所",
   number	 = "58(1992-AL-028)",
   month	 = "jul"
}