PUERTO-CUADROS, E. G. Un algoritmo en seudocodigo para el chequeo de la subsumicion en alc. Respuestas, [S. l.], v. 8, n. 1, p. 3–10, 2016. DOI: 10.22463/0122820X.704. Disponível em: https://revistas.ufps.edu.co/index.php/respuestas/article/view/704. Acesso em: 20 sep. 2021.