Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.

Uwe Egly Thomas Eiter Volker Klotz Hans Tompits Stefan Woltran Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. 113-122 2000 15. WLP db/conf/wlp/wlp2000-2.html#EglyEKTW00