Interactive Debugging of Non-ground ASP Programs. - Carmine Dodaro; Philip Gasteiger; Benjamin Musitsch; Francesco Ricca; Kostyantyn M. Shchekotykhin (LPNMR, 2015)

Driving CDCL Search. - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

An integrated Graphical User Interface for Debugging Answer Set Programs. - Philip Gasteiger; Carmine Dodaro; Benjamin Musitsch; Kristian Reale; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2016)

Debugging Non-ground ASP Programs: Technique and Graphical Tools. - Carmine Dodaro; Philip Gasteiger; Kristian Reale; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2019)