Abstract Disjunctive Answer Set Solvers