Improving the Performance of Automated Forward Deduction System EnCal. - Kazunori Nishi; Jingde Cheng; Kazuo Ushijima (ISHPC, 1997)