Marais, M. S., & Ren, Y. (2015). Mora’s holy graal: Algorithms for computing in localizations at prime ideals. International Journal of Algebra and Computation, 25(07), https://doi.org/10.1142/s0218196715500332