Puerto-Cuadros, E. G. (2016). Un algoritmo en seudocodigo para el chequeo de la subsumicion en alc. Respuestas, 8(1), 3–10. https://doi.org/10.22463/0122820X.704