Knowledge Processing and Information Systems Monitoring and Visualizing Answer Set Solving
@article{DBLP:journals/tplp/KonigS13,
author = {K{\"{o}}nig, Arne and Schaub, Torsten},
title = {Monitoring and Visualizing Answer Set Solving},
journal = {{TPLP}},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013}
}