Αποστολή με SMS: Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics