ARVis: Visualizing Relations between Answer Sets. - Thomas Ambroz; Günther Charwat; Andreas Jusits; Johannes Peter Wallner; Stefan Woltran (LPNMR, 2013)