@dblp

A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report.

, , , , and . NMR, page 57-66. (2002)

Links and resources

Tags