Expansion nets: Proof nets for for propositional classical logic
| Title | Expansion nets: {P}roof nets for for propositional classical logic |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | McKinley, R |
| Editor | Fermüller, C, Voronkov A |
| Conference Name | Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17) |
| Publisher | Springer Berlin / Heidelberg |
| URL | http://www.iam.unibe.ch/ltgpub/2010/mck10a.pdf |
| Citation Key | mck10a |
