A symbolic solution to intelligent real-time control. - Douglas J. Pearson; Scott B. Huffman; Mark B. Willis; John E. Laird; Randolph M. Jones (Robotics Auton. Syst., 1993)