Pontelli, Enrico and Gopal Gupta "Parallel symbolic computation in ACE"

(1997) Annals of Mathematics and Artificial Intelligence 21(2-4) 1997  

Languages mentioned ACE {1994} Parallel logic language