Kitzmiller, C. T.; Kowalski, J. . S. Coupling Symbolic and Numerical Computing in Knowledge-Based Systems. AIMag 1987, 8, 85.