Dual-normal Logic Programs - the Forgotten Class

Johannes K. Fichte, Miroslaw Truszczynski, Stefan Woltran

Disjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP. Identifying classes of programs for which the consistency problem is in…