On transformations of constant depth propositional proofs

Date first appeared online	15/05/2019
DOI	10.1016/j.apal.2019.05.002
Authors	Beckmann A.
Journal Name	Annals of Pure and Applied Logic
Volume

Documents

• RevisedVersion_Archival_Oct28_2018.pdf , Book, Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND).