Kitzmiller, C. T., and Janusz . S Kowalski. 1987. “Coupling Symbolic and Numerical Computing in Knowledge-Based Systems”. AI Magazine 8 (2):85. https://doi.org/10.1609/aimag.v8i2.586.