Algoritmos de unificación ecuacional en teorías xerais

Aquesta tesi apareix a les col·leccions següents