Multiple context planning within a truth-maintenance system. - A. D. Bray; Chris J. Hinde; P. J. Herbert; Darrel M. Temple; D. Round (Knowl. Based Syst., 1993)