Disjunctive Answer Set Solvers via Templates | Read Paper on Bytez