A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. - David Pearce 001; Vladimir Sarsakov; Torsten Schaub; Hans Tompits; Stefan Woltran (ICLP, 2002)

Suitable Graphs for Answer Set Programming. - Thomas Linke; Vladimir Sarsakov (LPAR, 2004)

nlp: A Compiler for Nested Logic Programming. - Vladimir Sarsakov; Torsten Schaub; Hans Tompits; Stefan Woltran (LPNMR, 2004)