La introducción de Wos de la noción de estrategia en el razonamiento automatizado transformó el campo en el potencial de la realización (la comprensión).