Fèvre, Wang, 1998. Combining algebraic computing and term-rewriting for geometry theorem proving, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/bfb0055909