Symbolic and numerical computation for artificial intelligence /
Donald, Bruce Randall.
Kapur, Deepak.
Mundy, Joseph L.
London : Academic Press,
c1992.