On Elementary Loops and Proper Loops for Disjunctive Logic Programs

Open in new window