Symbolic and numerical computation for artificial intelligence - Donald, Bruce R.; Kapur, Deepak; Mundy, Jospeh L. (Academic Press, 1992)