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}
}