Coupling Symbolic and Numerical Computing in Knowledge-Based Systems (Workshop Report). - C. T. Kitzmiller; Janusz S. Kowalik (AI Mag., 1987)