Sodan, A.A.SodanBi, H.H.Bi2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/323781en004006A semi-automatic approach for parallelizing symbolic processing programsconference paper