1. Álvez, J., Lucio, P.: An algorithm for local variable elimination in normal logic programs. Technical Report LSI/TR 10-2005, Basque Country University (2005)
2. Álvez, J., Lucio, P., Orejas, F., Pasarella, E., Pino, E.: Constructive negation by bottom-up computation of literal answers. In: SAC 2004, pp. 1468–1475. ACM Press, New York (2004)
3. Andréka, H., Németi, I.: The generalized completeness of Horn predicate-logic as a programming language. Acta Cybern. 4, 3–10 (1980)
4. Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 493–574. Elsevier, Amsterdam (1990)
5. Barbuti, R., Mancarella, P., Pedreschi, D., Turini, F.: A transformational approach to negation in logic programming. J. Log. Program. 8(3), 201–228 (1990)