Proof nets for Herbrand's Theorem
| Title | Proof nets for Herbrand's Theorem |
| Publication Type | Journal Article |
| Year of Publication | To appear |
| Authors | McKinley, R |
| Journal | ACM Transactions on Computational Logic |
| URL | http://www.iam.unibe.ch/ltgpub/to_appear/mck12b.pdf |
| Citation Key | mck12b |
