1. Alferes, J., Brogi, A., Leite, J. A., & Pereira, L. M. (2002). Evolving logic programs. In S. Flesca et al. (Eds.), Proceedings of JELIA’02 (LNCS, Vol. 2424, pp. 50–61). Springer.
2. Alferes, J. J., Pereira, L. M., & Swift, T. (2004). Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming, 4(4), 383–428.
3. Brass, S., Dix, J., Freitag, B., & Zukowski, U. (2001). Transformation-based bottom-up computation of the well-founded model. TPLP, 1(5), 497–538.
4. Brewka, G. (2002). Logic programming with ordered disjunction. In AAAI-02 (pp. 100–105). AAAI Press.
5. Dix, J. (1995a). A classification theory of semantics of normal logic programs: I. Strong properties. Fundamenta Informaticae, 22(3), 227–255.