LINK: A Proof Environment Based on Proof Nets.

L. Habert, J.-M. Notin, Didier Galmiche

Browse the full TABLEAUX paper archive.