Automated Verification of Equivalence Properties in Advanced Logic Programs - Bachelor Thesis. - Jan Heuer (CoRR, 2023)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic. - Jan Heuer; Christoph Wernhard (IJCAR (1), 2024)

Ordered Completion for Non-Locally Tight mini-gringo Programs. - Jan Heuer (CoRR, 2025)

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)