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