Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática

Aquesta tesi apareix a les col·leccions següents