@article{Hollenberg_1997,
    author = {Marco Hollenberg},
    doi = {https://dx.doi.org/10.1023/a:1008271805106},
    url = {https://doi.org/10.1023%2Fa%3A1008271805106},
    year = {1997},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {6},
    number = {4},
    pages = {381--401},
    journal = {Journal of Logic, Language and Information},
    title = {An Equational Axiomatization of Dynamic Negation and Relational Composition},
    date-modified = {2025-10-13 8:6:33 +0100}
}

@article{Hollenberg_1997, author = {Marco Hollenberg}, doi = {https://dx.doi.org/10.1023/a:1008271805106}, url = {https://doi.org/10.1023%2Fa%3A1008271805106}, year = {1997}, publisher = {Springer Science and Business Media {LLC}}, volume = {6}, number = {4}, pages = {381--401}, journal = {Journal of Logic, Language and Information}, title = {An Equational Axiomatization of Dynamic Negation and Relational Composition}, date-modified = {2025-10-13 8:6:33 +0100} }