Regras inversíveis - G3ip

Abaixo, apostilas sobre equivalência entre G1ip e G3ip
http://dl.dropbox.com/u/5959592/eqvl_g1ip_g3ip.pdf
e sobre regras inversíveis em G3ip
http://dl.dropbox.com/u/5959592/regras_inver_G3ip.pdf
abraços