Annotating answer-set programs in Lana

Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits. Annotating answer-set programs in Lana. TPLP, 12(4-5):619-637, 2012. [doi]

Abstract

Abstract is missing.