Documentación
- Hermenegildo, M. y Cabeza, D.
Lógica Algorítmica
(Universidad Politecnica de Madrid, 1998)
- Hölldobler, S.
Introduction to Computational Logic
(Dresden University of Technology, 1998)
- Paulson, L.C.
Logic and Proof
(University of Cambridge, 1998)
- Shapiro, S.C.
Foundations of Logic & Inference
(Tutorial given at the 14th International Joint Conference on Artificial
Intelligence, August 20, 1995)
- Vermeir, D.
Logic programming
(Free University Brussels, 1998)