Sodan, A.A.SodanBi, H.H.Bi2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/323632en004006400ParLisp - Parallel symbolic processing with lisp on the distributed memory machine MANNAconference paper