@article{compref135,
   author = {G”del,K},
   year = {1936},
   title = {On the length of proofs},
   journal = {Ergebnisse eines mathematischen Kolloquiums},
   volume = {7},
   pages = {23-24}
}