E. G. Puerto-Cuadros, «Un algoritmo en seudocodigo para el chequeo de la subsumicion en alc», Respuestas, vol. 8, n.º 1, pp. 3–10, jun. 2016.