También recibió el Premio de Herbrand pos sus contribuciones excepcionales al campo de la deducción automatizada en año 1992.