Artículos
Borja Macías Verónica. “Lógicas Súper S5” en IV Congreso Internacional de Ciencias de la Computación. (Avances en Ciencias de la Computación) Editores: Juan Humberto Sossa Azuela y Elizabeth Pérez Cortés. Apizaco Tlaxcala, México, Septiembre 2003. Pág. 189-191. ISBN 970-36-0069-7
Arrazola Ramírez, José Ramón; Borja Macías Verónica; Osorio Galindo, Mauricio. “Closing the Gap between the Stable Semantics and Extensions of WFS” en Advances in Artificial Intelligence MICAI 04 Editores: Raúl Monroy, Gustavo Arroyo Figueroa, Luis Enrique Sucar, and Humberto Sossa. México City, México, Abril 2004. Pág. 202-211. ISBN 3-504-21459-3
Arrazola Ramírez, José Ramón; Borja Macías Verónica; Osorio Galindo, Mauricio. “Three Valued Logic of Lucasiewicz for Modelling Semantics of Logic Programs” in Advances in Artificial Intelligence IBERAMIA 04 Editores: Christian Lemaître, Carlos A. Reyes y Jesús A. González. Puebla, México, Noviembre 2004. Pág. 343-352. ISBN 3-540-23806-9
Arrazola Ramírez, José Ramón; Borja Macías, Verónica; Navarro Pérez Juan Antonio, Osorio Galindo, Mauricio. “Ground Nonmonotonic Modal Logic S5: New Results”. Journal of Logic and Computation. Vol 15, No 5. Oxford University Press. Octubre 2005. Pág. 787-813 Print ISSN 0955-792X
Arrazola Ramírez, José Ramón; Borja Macías, Verónica; Navarro Pérez Juan Antonio, Osorio Galindo, Mauricio. “Logics with Common Weak Completions”. Journal of Logic and Computation. Vol. 16, No. 6 Oxford University Press. Agosto 2006 Pág. 867-890 Print ISSN 0955-792X.
Verónica Borja Macías, Pilar Pozos Parra “Belief Merging using Partial Satisfactibility: case studies”. Workshop in Logic, Language and Computation 2006 (LoLaCOM06) Instituto Tecnológico de Apizaco, Tlaxcala. Noviembre 2006. ISBN 9709421417
Verónica Borja Macías, Pilar Pozos Parra “Belief Merging without Distance Measures”. 6th International Joint Conference on Autonomous Agents and Multiagents Systems (AAMAS2007) EEUU, Honolulu Hawai'i 2007. Pág. 613-615. ISBN: 978-81-904262-7-5
Verónica Borja Macías, Pilar Pozos Parra “Partial Satisfiability-Based Merging”. 9th Mexican International Conference on Artificial Intelligence (MICAI07) Aguascalientes, Noviembre 2007. Pág. 225–235.