@article{Bierman_2000,
    author = {G. M. Bierman and V. C. V. de Paiva},
    doi = {https://dx.doi.org/10.1023/a:1005291931660},
    url = {https://doi.org/10.1023%2Fa%3A1005291931660},
    year = {2000},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {65},
    number = {3},
    pages = {383--416},
    journal = {Studia Logica},
    date-modified = {2025-10-13 7:55:17 +0100}
}

@article{Bierman_2000, author = {G. M. Bierman and V. C. V. de Paiva}, doi = {https://dx.doi.org/10.1023/a:1005291931660}, url = {https://doi.org/10.1023%2Fa%3A1005291931660}, year = {2000}, publisher = {Springer Science and Business Media {LLC}}, volume = {65}, number = {3}, pages = {383--416}, journal = {Studia Logica}, date-modified = {2025-10-13 7:55:17 +0100} }