Puerto-Cuadros, E. G. Un Algoritmo En Seudocodigo Para El Chequeo De La Subsumicion En Alc. Respuestas 2016, 8, 3-10.