Symbolic and numerical computation for artificial intelligence - Bruce Randell Donald, Deepak Kapur and Joseph L Mundy (Academic Press, 1992)