C. T. Kitzmiller and J. . S. Kowalski, “Coupling Symbolic and Numerical Computing in Knowledge-Based Systems”, AIMag, vol. 8, no. 2, p. 85, Jun. 1987.