Introduction to Iltis: an interactive, web-based system for teaching logic. - Gaetano Geck; Artur Ljulin; Sebastian Peter; Jonas Schmidt 001; Fabian Vehlken; Thomas Zeume (ITiCSE, 2018)

Teaching Logic with Iltis: an Interactive, Web-Based System. - Gaetano Geck; Artur Ljulin; Jonas Haldimann; Johannes May; Jonas Schmidt 001; Marko Schmellenkamp; Daniel Sonnabend; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (ITiCSE, 2019)

Iltis: Teaching Logic in the Web. - Gaetano Geck; Christine Quenkert; Marko Schmellenkamp; Jonas Schmidt 001; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (CoRR, 2021)

Specification and Automatic Verification of Computational Reductions. - Julien Grange; Fabian Vehlken; Nils Vortmeier; Thomas Zeume (MFCS, 2024)

Teaching Formal Foundations of Computer Science with Iltis. - Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (Bull. EATCS, 2024)

Logical Modelling in CS Education: Bridging the Natural Language Gap. - Tristan Kneisel; Fabian Vehlken; Thomas Zeume (AIED (4), 2025)

Learning Tree Pattern Transformations. - Daniel Neider; Leif Sabellek; Johannes Schmidt 001; Fabian Vehlken; Thomas Zeume (ICDT, 2025)

Tool-Assisted Learning of Computational Reductions. - Tristan Kneisel; Elias Radtke; Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (SIGCSE (1), 2025)