Mauricio Osorio José R. Arrazola Ramírez José Luis Carballido Oscar Estrada An Axiomatization of G'3. 2006 LoLaCOM http://ceur-ws.org/Vol-220/LoLaCOM06_09.pdf conf/micai/2006lolacom db/conf/micai/lolacom2006.html#OsorioRCE06a