Prioritization in parallel symbolic computing | doi.page