Jaroschek, Maximilian Automation of Logic, MPI for Informatics, Max Planck Society;
Barkatou, M. A., Jaroschek, M., & Maddah, S. S. (2017). Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. Journal of Symbolic Computation, 81, 41-68. doi:10.1016/j.jsc.2016.11.018.