LOGS2005 : editor de demostraciones en lógica ecuacional (2006)
Ingeniero de Sistemas y Computación