On the Small-Scope Hypothesis for Testing Answer-Set Programs.

Johannes Oetsch, Michael Prischink, Jrg Phrer, Martin Schwengerer, Hans Tompits

Browse the full KR paper archive.