@article{compref76,
   author = {Celluci,C},
   year = {1985},
   title = {Proof Theory and Complexity},
   journal = {Synthese},
   volume = {62},
   pages = {173-189}
}