The System BioC for Reasoning about Biological Models in Action Language C. - Steve Dworschak; Torsten Grote; Arne König; Torsten Schaub; Philippe Veber (ICTAI (1), 2008)

Conflict-Driven Disjunctive Answer Set Solving. - Christian Drescher; Martin Gebser; Torsten Grote; Benjamin Kaufmann; Arne König; Max Ostrowski; Torsten Schaub (KR, 2008)

The BioASP Library: ASP Solutions for Systems Biology. - Martin Gebser; Arne König; Torsten Schaub; Sven Thiele; Philippe Veber (ICTAI (1), 2010)

Advances in gringo Series 3. - Martin Gebser; Roland Kaminski; Arne König; Torsten Schaub (LPNMR, 2011)

Visualizing Answer Set Programming. - Arne König (Theory Pract. Log. Program., 2013)

Monitoring and Visualizing Answer Set Solving. - Arne König; Torsten Schaub (Theory Pract. Log. Program., 2013)