Twinlisps Implementación del algoritmo de unificación en Common LISP Autores: Alexandra Vicente y Diego Martín