Mauricio Osorio 0001, Daniela Hernández-Grijalva, Alejandro Hernández-Tello. ⊃. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra, editors, Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. Volume 2585 of CEUR Workshop Proceedings, pages 49-60, CEUR-WS.org, 2019. [doi]
@inproceedings{0001HH19, title = {⊃}, author = {Mauricio Osorio 0001 and Daniela Hernández-Grijalva and Alejandro Hernández-Tello}, year = {2019}, url = {http://ceur-ws.org/Vol-2585/paper5.pdf}, researchr = {https://researchr.org/publication/0001HH19}, cites = {0}, citedby = {0}, pages = {49-60}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, editor = {Mauricio Javier Osorio Galindo and José Raymundo Marcial-Romero and Claudia Zepeda Cortés and Pilar Pozos Parra}, volume = {2585}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }