Parallel symbolic processing-can it be done? | IEEE Conference Publication | IEEE Xplore