On Automatic Theorem Proving with ML. - Juan Pablo Munoz Toriz; Iván Martínez Ruiz; José Ramón Enrique Arrazola-Ramírez (MICAI (Special Sessions), 2014)

(Hyper)sequent Calculi for the ALC(S4) Description Logics. - Juan Pablo Munoz Toriz; Everardo Bárcenas; Iván Martínez Ruiz; José Ramón Enrique Arrazola-Ramírez (Computación y Sistemas, 2016)