Jaroschek, Maximilian Automation of Logic, MPI for Informatics, Max Planck Society;
Kauers, M., Jaroschek, M., & Johannson, F. (2015). Ore Polynomials in Sage. In J. Gutierrez, J. Schicho, & M. Weiman (Eds.), Computer Algebra and Polynomials (pp. 105-125). Berlin: Springer. doi:10.1007/978-3-319-15081-9_6.