Akiko Kondo, Mitsuru Ishizuka Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning. [Citation Graph (0, 0)][DBLP] Knowl.-Based Syst., 1996, v:9, n:3, pp:163-171 [Journal]
S. M. Yuen, K. P. Lam Temporal constraint reasoning mechanisms for microprocessor systems diagnosis. [Citation Graph (0, 0)][DBLP] Knowl.-Based Syst., 1996, v:9, n:3, pp:173-181 [Journal]