Interactive Debugging of Non-ground ASP Programs

@inproceedings{Dodaro2015InteractiveDO,
  title={Interactive Debugging of Non-ground ASP Programs},
  author={Carmine Dodaro and Philip Gasteiger and Benjamin Musitsch and Francesco Ricca and Kostyantyn M. Shchekotykhin},
  booktitle={LPNMR},
  year={2015}
}