J. Betzendahl, M. Kohlhase, and D. Müller. ECAI Workshops (2), volume 1948 of Communications in Computer and Information Science, page 397-408. Springer, (2023)
C. Kaliszyk, M. Kohlhase, D. Müller, and F. Rabe. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 229-244. CEUR-WS.org, (2016)