Afshari, Bahareh, Hetzl, Stefan and Leigh, Graham E.. "Herbrand Confluence for First-Order Proofs with Π
2-Cuts".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 5-40.
https://doi.org/10.1515/9781501502620-003Afshari, B., Hetzl, S. & Leigh, G. (2016). Herbrand Confluence for First-Order Proofs with Π
2-Cuts. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 5-40). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-003Afshari, B., Hetzl, S. and Leigh, G. 2016. Herbrand Confluence for First-Order Proofs with Π
2-Cuts. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 5-40.
https://doi.org/10.1515/9781501502620-003Afshari, Bahareh, Hetzl, Stefan and Leigh, Graham E.. "Herbrand Confluence for First-Order Proofs with Π
2-Cuts" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 5-40. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-003Afshari B, Hetzl S, Leigh G. Herbrand Confluence for First-Order Proofs with Π
2-Cuts. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.5-40.
https://doi.org/10.1515/9781501502620-003