Mauricio Osorio, José Luis Carballido, Claudia Zepeda. Revisiting C1. In Juan Carlos Acosta Guadarrama, editor, Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014. Volume 1287 of CEUR Workshop Proceedings, pages 1-8, CEUR-WS.org, 2014. [doi]
@inproceedings{OsorioCZ14-0,
title = {Revisiting C1},
author = {Mauricio Osorio and José Luis Carballido and Claudia Zepeda},
year = {2014},
url = {http://ceur-ws.org/Vol-1287/lanmr2014_paper_5.pdf},
researchr = {https://researchr.org/publication/OsorioCZ14-0},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014},
editor = {Juan Carlos Acosta Guadarrama},
volume = {1287},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}