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