@techreport{weko_50425_1,
   author	 = "吉田,聡 and 笹倉,万里子",
   title	 = "論理プログラムにおける説明推論過程の視覚化システムの実装",
   year 	 = "2003",
   institution	 = "岡山大学大学院自然科学研究科, 岡山大学工学部",
   number	 = "30(2002-ICS-132)",
   month	 = "mar"
}