Línea de investigación: Deducción automáticaEstudio de fundamentos para la deducción automática en lógica de primer orden con igualdad y en lógica de orden superior.Sistemas de reescritura.