Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker
Jawahar Chirimar, Carl A. Gunter and Myra VanInwegen
Conference on Automated Deduction (CADE ’92), Lecture Notes in Artificial Intelligence, volume 607, pages 711-715, Saratoga Springs, NY, June 1992.
Last updated on Thursday, June 26, 2014, 12:47 pm