@inproceedings{b7642506af824060a9bdcd14e596f3d6,
title = "Xpnet: A graphical interface to proof nets with an efficient proof checker",
author = "Jawahar Chirimar and Gunter, {Carl A.} and Myra VanInwegen",
note = "Funding Information: Gunter's research is partially supported by NSF grant CCR-8912778 and an ONR Young Investigator award. Chirimax{\textquoteright}s research is supported by NSF grant CGR-8912778. VanInwegen{\textquoteright}s work is supported by ARO grant DAALO3-89-C-0031. Funding Information: 1T he authorse' maila ddresseasr ec hlr~marg,u nter,a ndmyra @saul.e is .upenne. du. Gunter's researcihs partiallys upportebdy NSF grantC CR-8912778a ndan ONR Young Investigatoarw ard. Chirimax'rse searchis supportedby NSF grant CGR-8912778V. anInwegenw'so rk is supportedby ARO grant DAALO3-89-C-0031.; 11th International Conference on Automated Deduction, CADE, 1992 ; Conference date: 15-06-1992 Through 18-06-1992",
year = "1992",
doi = "10.1007/3-540-55602-8_209",
language = "English (US)",
isbn = "9783540556022",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "711--715",
editor = "Deepak Kapur",
booktitle = "Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings",
address = "Germany",
}