@article{VENEMA_1991,
    doi = {10.1093/logcom/1.4.453},
    url = {https://doi.org/10.1093%2Flogcom%2F1.4.453},
    year = {1991},
    publisher = {Oxford University Press ({OUP})},
    volume = {1},
    number = {4},
    pages = {453--476},
    author = {YDE VENEMA},
    title = {A Modal Logic for Chopping Intervals},
    journal = {Journal of Logic and Computation}
}

@article{VENEMA_1991, doi = {10.1093/logcom/1.4.453}, url = {https://doi.org/10.1093%2Flogcom%2F1.4.453}, year = {1991}, publisher = {Oxford University Press ({OUP})}, volume = {1}, number = {4}, pages = {453--476}, author = {YDE VENEMA}, title = {A Modal Logic for Chopping Intervals}, journal = {Journal of Logic and Computation} }