En 1977 Mientras trabajaba (comenzando en 1975) como asistente de investigación de Gerald Sussman, publicó junto con Sussman un influyente artículo sobre un sistema de mantenimiento de la verdad (TMS en inglés) llamado "dependency-directed backtracking" (retropropagación dirigida por dependencias), con el propósito de resolver circuitos eléctricos por computadora.