TY - RPRT TI - A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report AU - David Pearce AU - Vladimir Sarsakov AU - Torsten Schaub AU - Hans Tompits AU - Stefan Woltran PY - 2002 UR - https://arxiv.org/abs/cs/0207071 ID - cs/0207071 ER -