@article{Lafont_1997,
    doi = {10.2307/2275637},
    url = {https://doi.org/10.2307%2F2275637},
    year = {1997},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {62},
    number = {4},
    pages = {1202--1208},
    author = {Yves Lafont},
    title = {The finite model property for various fragments of linear logic},
    journal = {Journal of Symbolic Logic}
}

@article{Lafont_1997, doi = {10.2307/2275637}, url = {https://doi.org/10.2307%2F2275637}, year = {1997}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {62}, number = {4}, pages = {1202--1208}, author = {Yves Lafont}, title = {The finite model property for various fragments of linear logic}, journal = {Journal of Symbolic Logic} }