Proof Nets for Herbrand's Theorem

TitleProof Nets for Herbrand's Theorem
Publication TypeJournal Article
Year of Publication2013
AuthorsMcKinley, R
JournalACM Transactions on Computational Logic
Volume14
Pagination5
URLhttp://www.iam.unibe.ch/ltgpub/2012/mck12b.pdf
DOI10.1145/2422085.2422090