Clingraph: ASP-Based Visualization. - Susana Hahn; Orkunt Sabuncu; Torsten Schaub; Tobias Stolzmann (LPNMR, 2022)

Properties of Large 2-Crossing-Critical Graphs. - Drago Bokal; Markus Chimani; Alexander Nover; Jöran Schierbaum; Tobias Stolzmann; Mirko H. Wagner; Tilo Wiedera (J. Graph Algorithms Appl., 2022)

Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. - Nicolas Rühling; Torsten Schaub; Tobias Stolzmann (ConfWS, 2023)

Clingraph: A System for ASP-based Visualization. - Susana Hahn; Orkunt Sabuncu; Torsten Schaub; Tobias Stolzmann (CoRR, 2023)

Clingraph: A System for ASP-based Visualization. - Susana Hahn; Orkunt Sabuncu; Torsten Schaub; Tobias Stolzmann (Theory Pract. Log. Program., 2024)

Anthem 2.0: Automated Reasoning for Answer Set Programming. - Jorge Fandinno; Christoph Glinzer; Zachary Hansen; Jan Heuer; Yuliya Lierler; Vladimir Lifschitz; Torsten Schaub; Tobias Stolzmann (CoRR, 2025)