@article{Bimb__2013,
    doi = {10.2178/jsl.7801150},
    url = {https://doi.org/10.2178%2Fjsl.7801150},
    year = {2013},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {78},
    number = {1},
    pages = {214--236},
    author = {Katalin Bimb{\'{o}} and J. Michael Dunn},
    title = {On the decidability of implicational ticket entailment},
    journal = {The Journal of Symbolic Logic}
}

@article{Bimb__2013, doi = {10.2178/jsl.7801150}, url = {https://doi.org/10.2178%2Fjsl.7801150}, year = {2013}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {78}, number = {1}, pages = {214--236}, author = {Katalin Bimb{\'{o}} and J. Michael Dunn}, title = {On the decidability of implicational ticket entailment}, journal = {The Journal of Symbolic Logic} }