Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada. Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. In Rogelio Dávila, Mauricio Osorio, Claudia Zepeda, editors, Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006. Volume 220 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
@inproceedings{OsorioRCE06,
title = {Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw},
author = {Mauricio Osorio and José R. Arrazola Ramírez and José Luis Carballido and Oscar Estrada},
year = {2006},
url = {http://ceur-ws.org/Vol-220/LoLaCOM06_08.pdf},
researchr = {https://researchr.org/publication/OsorioRCE06},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006},
editor = {Rogelio Dávila and Mauricio Osorio and Claudia Zepeda},
volume = {220},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}