1. Castro, L., Swift, T., Warren, D.S.: XASP: Answer Set Programming with XSB and Smodels (1999), http://xsb.sourceforge.net/packages/xasp.pdf
2. Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The dlv system: Model generator and advanced frontends (system description). In: Workshop in Logic Programming (1997)
3. LNAI;C.V. Damásio,1996
4. Dix, J.: A Classification-Theory of Semantics of Normal Logic Programs: I, II. Fundamenta Informaticae XXII(3), 227–255, 257–288 (1995)
5. Dix, J., Gottlob, G., Marek, V.W., Rauszer, C.: Reducing disjunctive to non-disjunctive semantics by shift-operations. Fundamenta Informaticae 28, 87–100 (1996)