Characterising equilibrium logic and nested logic programs: Reductions and complexity.

Published in:

Theory & Practice of Logic Programming, 2009, v. 9, n. 5, p. 565, doi. 10.1017/S147106840999010X

By:

• Pearce, David;
• Tompits, Hans;
• Woltran, Stefan

Publication type:

Article