Browser does not support script.
Delkos, Avgerinos (2024). Proof complexity of systems of branching programs. University of Birmingham. Ph.D.