TY  - GEN
AU  - Simari,Guillermo Ricardo
TI  - Disjunctive logic programming with negation as failure in the head
ER  -