Disjunctive Logic Program = Horn Program + Control Program.

Wenjin Lu, Ulrich Furbach

Browse the full JELIA paper archive.