@article{Berendsen_2010,
    doi = {10.1016/j.jal.2009.11.001},
    url = {https://doi.org/10.1016%2Fj.jal.2009.11.001},
    year = {2010},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {8},
    number = {1},
    pages = {141--150},
    author = {Jasper Berendsen and David N. Jansen and Julien Schmaltz and Frits W. Vaandrager},
    title = {The axiomatization of override and update},
    journal = {Journal of Applied Logic}
}

@article{Berendsen_2010, doi = {10.1016/j.jal.2009.11.001}, url = {https://doi.org/10.1016%2Fj.jal.2009.11.001}, year = {2010}, month = {mar}, publisher = {Elsevier {BV}}, volume = {8}, number = {1}, pages = {141--150}, author = {Jasper Berendsen and David N. Jansen and Julien Schmaltz and Frits W. Vaandrager}, title = {The axiomatization of override and update}, journal = {Journal of Applied Logic} }