TY  - RPRT
TI  - Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
AU  - Christian Kloimüllner
AU  - Johannes Oetsch
AU  - Jörg Pührer
AU  - Hans Tompits
PY  - 2011
UR  - https://arxiv.org/abs/1109.4095
ID  - 1109.4095
ER  -