Improving heuristic function of cost-based abduction system using real-time heuristic search. - Makoto Koshino; Tadashi Okamine; Haruhiko Kimura; Sadaki Hirose (Syst. Comput. Jpn., 2004)