Casillas Santillan, L.; Guerrero Segura Ramirez, M. Towards a Framework for Threaded Inference in Rule-Based Systems - Hacia Un Marco Para Inferencia Multihilo En Sistemas Basados En Regla. ReCIBE 2017, 2, I.