@TechReport{CDMTCS561, author = "C.S. Calude, L. Staiger", title = " Long and Short Proofs", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-561", month = mar, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=840", updated = "BibTex database updated Fri Mar 29 9:38:17 2024 NZST", }