@inproceedings{conf/micai/OsorioRCE06a,
title = {An Axiomatization of G'3.},
author = {Mauricio Osorio and José R. Arrazola Ramírez and José Luis Carballido and Oscar Estrada},
booktitle = {LoLaCOM},
crossref = {conf/micai/2006lolacom},
editor = {Rogelio Dávila and Mauricio Osorio and Claudia Zepeda},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
url = {http://dblp.uni-trier.de/db/conf/micai/lolacom2006.html#OsorioRCE06a},
volume = {220},
year = {2006},
description = {dblp},
date = {2008-06-04}, ee = {http://ceur-ws.org/Vol-220/LoLaCOM06_09.pdf},
keywords = {dblp }
}
::