@article{DBLP:journals/tplp/Konig13, title = {Visualizing Answer Set Programming}, author = {K{\"{o}}nig, Arne}, journal = {{TPLP}}, number = {4-5-Online-Supplement}, volume = {13}, year = {2013} }