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]
Abstract is missing.