HOYOS-GUTIÉRREZ, José G.; PRIETO-ORTIZ, Flavio A. Programación por demostración de la secuencia de apretar una tuerca admitiendo variaciones en posición de la llave. TecnoLógicas, [S. l.], v. 19, n. 36, p. 77–90, 2016. DOI: 10.22430/22565337.589. Disponível em: https://revistas.itm.edu.co/index.php/tecnologicas/article/view/589. Acesso em: 25 abr. 2024.