Kitzmiller, C. T., and J. . S. Kowalski. “Coupling Symbolic and Numerical Computing in Knowledge-Based Systems”. AI Magazine, vol. 8, no. 2, June 1987, p. 85, doi:10.1609/aimag.v8i2.586.