Jeltsch, Eric Generalización de un algoritmo de inferencia basado en gramáticas de grafos Standard No.: DIF-M3413