Jawahar Chirimar Carl A. Gunter Myra Van Inwegen Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. 711-715 1992 conf/cade/1992 CADE db/conf/cade/cade92.html#ChirimarGI92 http://dx.doi.org/10.1007/3-540-55602-8_209