Disjunctive logic programming with negation as failure in the head - Simari, Guillermo Ricardo