@article{Okada_1999,
    doi = {10.2307/2586501},
    url = {https://doi.org/10.2307%2F2586501},
    year = {1999},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {64},
    number = {2},
    pages = {790--802},
    author = {Mitsuhiro Okada and Kazushige Terui},
    title = {The finite model property for various fragments of intuitionistic linear logic},
    journal = {Journal of Symbolic Logic}
}

@article{Okada_1999, doi = {10.2307/2586501}, url = {https://doi.org/10.2307%2F2586501}, year = {1999}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {64}, number = {2}, pages = {790--802}, author = {Mitsuhiro Okada and Kazushige Terui}, title = {The finite model property for various fragments of intuitionistic linear logic}, journal = {Journal of Symbolic Logic} }