Wenjin Lu Ulrich Furbach Disjunctive Logic Program = Horn Program + Control Program. 33-46 http://link.springer.de/link/service/series/0558/bibs/1489/14890033.htm 1998 conf/jelia/1998 JELIA db/conf/jelia/jelia98.html#LuF98