Disjunctive Logic Programs with Inheritance

Francesco Buccafurri Wolfgang Faber Nicola Leone Disjunctive Logic Programs with Inheritance http://arxiv.org/abs/cs.LO/0105036 2001 CoRR cs.LO/0105036 db/journals/corr/corr0105.html#cs-LO-0105036