DODARO, GASTEIGER, REALE, RICCA, SCHEKOTIHIN, 2019. Debugging Non-ground ASP Programs: Technique and Graphical Tools 19.. https://doi.org/10.1017/s1471068418000492