@inproceedings{Schopp_2007,
    doi = {10.1109/lics.2007.45},
    url = {https://doi.org/10.1109%2Flics.2007.45},
    year = {2007},
    publisher = {{IEEE}},
    author = {Ulrich Schopp},
    title = {Stratified Bounded Affine Logic for Logarithmic Space},
    booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)}
}

@inproceedings{Schopp_2007, doi = {10.1109/lics.2007.45}, url = {https://doi.org/10.1109%2Flics.2007.45}, year = {2007}, publisher = {{IEEE}}, author = {Ulrich Schopp}, title = {Stratified Bounded Affine Logic for Logarithmic Space}, booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)} }