LINK: A Proof Environment Based on Proof Nets. - L. Habert; J.-M. Notin; Didier Galmiche (TABLEAUX, 2002)