@techreport{weko_33603_1,
   author	 = "吉田,忠行 and 赤間,清 and 宮本,衛市",
   title	 = "一階論理表現の等価変換を用いた問題解決の正当性",
   year 	 = "1999",
   institution	 = "北海道大学大学院システム情報工学専攻, 北海道大学情報メディア教育研究総合センター, 北海道大学大学院システム情報工学専攻",
   number	 = "76(1999-MPS-026)",
   month	 = "sep"
}