Expansion nets: Proof nets for for propositional classical logic

TitleExpansion nets: Proof nets for for propositional classical logic
Publication TypeConference Paper
Year of Publication2010
AuthorsMcKinley, R
EditorFermüller, C, Voronkov, A
Conference NameLogic for Programming, Artificial Intelligence, and Reasoning (LPAR 17)
Pagination535-549
PublisherSpringer Berlin / Heidelberg
URLhttp://www.iam.unibe.ch/ltgpub/2010/mck10a.pdf