
## 48 · Jos´E J´Ulio Alferes Et Al.

Swift, T. **1999. A new formulation of tabled resolution with delay. In** *Recent Advances in Artifiial* Intelligence**. LNAI, vol. 1695. Springer, 163–177.**
Swift, T., Pinto, A. M., and Pereira, L. M. **2009. Incremental answer completion. In** Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings**, P. M. Hill and D. S. Warren, Eds. 519–524.**
Tarski, A. **1955. Lattice-theoretic fixpoint theorem and its applications.** Pacific Journal of Mathematics 5, **2, 285–309.**
van Gelder, A. **1989. The alternating fixpoint of logic programs with negation. In** *Principles of* Database Systems**. ACM Press, 1–10.**
van Gelder, A., Ross, K. A., and Schlipf, J. S. **1991. The well-founded semantics for general**
logic programs. *Journal of the ACM 38,* **3, 620–650.**