Annals of Mathematics and Artificial Intelligence 21(2-4) 1997
(1997)
Pontelli, Enrico and Gopal Gupta (1997)
Pontelli, Enrico and Gopal Gupta "Parallel symbolic computation in ACE"