G. Amendola, T. Eiter, N. Leone, J. Moura:
"Semi-equilibrium models for paracoherent answer set programs";
Report for Institut fuer Informationssysteme, Technische Universitaet Wien; Report No. INFSYS RR 1843-14-07, 2014; 66 pages.
http://www.kr.tuwien.ac.at/research/reports/rr1407.pdf