1. Bächler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47(10), 1233–1266 (2012)
2. Ibragimov, N., Sergey Meleshko, S.: Linearization of third-order ordinary differential equations by point and contact transformations. J. Math. Anal. Appl. 308, 266–289 (2005)
3. Lange-Hegermann, M.: The differential counting polynomial. Found. Comput. Math. 18, 291–308 (2018)
4. Lie, S.: Klassifikation und Integration von gewöhnlichen Differentialgleichungen zwischen x, y, die eine Gruppe von Transformationen gestatten. III. Archiv for Matematik og Naturvidenskab, vol. 8, 4, pp. 371–458 (1883). Reprinted in Lie’s Gesammelte Abhandlungen, paper XIY, vol. 5, pp. 362–427 (1924)
5. Lie, S.: Vorlesungen über kontinuierliche Gruppen mit geometrischen und anderen Anwendungen. Bearbeitet und herausgegeben von Dr. G. Schefferes, Teubner, Leipzig (1883)