Debugging Non-ground ASP Programs: Technique and Graphical Tools. - DODARO, CARMINE; GASTEIGER, PHILIP; REALE, KRISTIAN; RICCA, FRANCESCO; SCHEKOTIHIN, KONSTANTIN; Schulz, Claudia; Ellmauthaler, Stefan (Theory & Practice of Logic Programming, 2019)