Գրեք սա: Complexity and Expressive Power of Disjunctive Logic Programming