@article{compref209,
   author = {Li,M and Vitanyi,PMB},
   year = {1992},
   title = {Philosophical Issues in Kolmogorov Complexity},
   journal = {Lecture Notes in Computer Science},
   volume = {623},
   pages = {1-15}
}

@article{compref133,
   author = {Girard,JY},
   year = {1987},
   title = {Linear Logic},
   journal = {Theoretical Computer Science},
   volume = {50},
   pages = {1-102}
}

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