Fateman, 1996. Symbolic mathematics system evaluators (extended abstract), in: . ACM Press.. https://doi.org/10.1145/236869.236907