Under Consideration for Publication in Theory and Practice of Logic Programming Disjunctive Answer Set Solvers via Templates