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

Open in new window