Uwe Egly
-
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
ICLP '02 Proceedings of the 18th International Conference on Logic Programming