A syntax-independent approach to forgetting in disjunctive logic programs
answer set solving in practice .