שליחה במסרון: Complexity and Expressive Power of Disjunctive Logic Programming