Text this: Counting Answer Sets of Disjunctive Answer Set Programs.